English
Related papers

Related papers: Tracelets and Tracelet Analysis Of Compositional R…

200 papers

When can two sequential steps performed by a computing device be considered (causally) independent? This is a relevant question for concurrent and distributed systems, since independence means that they could be executed in any order, and…

Logic in Computer Science · Computer Science 2024-07-09 Paolo Baldan , Davide Castelnovo , Andrea Corradini , Fabio Gadducci

In this paper, we consider existential rules, an expressive formalism well suited to the representation of ontological knowledge and data-to-ontology mappings in the context of ontology-based data integration. The chase is a fundamental…

Artificial Intelligence · Computer Science 2021-07-14 Maxime Buron , Marie-Laure Mugnier , Michaël Thomazo

Trajectory representation learning on a network enhances our understanding of vehicular traffic patterns and benefits numerous downstream applications. Existing approaches using classic machine learning or deep learning embed trajectories…

Machine Learning · Computer Science 2023-12-14 Yuanbo Tang , Zhiyuan Peng , Yang Li

A coreset (or core-set) of an input set is its small summation, such that solving a problem on the coreset as its input, provably yields the same result as solving the same problem on the original (full) set, for a given family of problems…

Machine Learning · Computer Science 2019-10-22 Ibrahim Jubran , Alaa Maalouf , Dan Feldman

To solve a new task from minimal experience, it is essential to effectively reuse knowledge from previous tasks, a problem known as meta-learning. Compositional solutions, where common elements of computation are flexibly recombined into…

Machine Learning · Computer Science 2025-10-03 Jacob J. W. Bakermans , Pablo Tano , Reidar Riveland , Charles Findling , Alexandre Pouget

We study causal discovery from a single observed sequence of discrete events generated by a stochastic process, as encountered in vehicle logs, manufacturing systems, or patient trajectories. This regime is particularly challenging due to…

Machine Learning · Computer Science 2026-03-18 Hugo Math , Rainer Lienhart

Deep learning, despite its remarkable achievements, is still a young field. Like the early stages of many scientific disciplines, it is marked by the discovery of new phenomena, ad-hoc design decisions, and the lack of a uniform and…

Machine Learning · Computer Science 2024-03-21 Bruno Gavranović

This is the era of High Performance Computing (HPC). There is a great demand of the best performance evaluation techniques for the file and storage systems. The task of evaluation is both necessary and hard. It gives in depth analysis of…

Operating Systems · Computer Science 2013-12-09 Brijender Kahanwal , Tejinder Pal Singh

In many complex networks the vertices are ordered in time, and edges represent causal connections. We propose methods of analysing such directed acyclic graphs taking into account the constraints of causality and highlighting the causal…

Physics and Society · Physics 2015-07-07 James R. Clough , Jamie Gollings , Tamar V. Loach , Tim S. Evans

Generating a huge number of association rules reduces their utility in the decision making process, done by domain experts. In this context, based on the theory of Formal Concept Analysis, we propose to extend the notion of Formal Concept…

Databases · Computer Science 2012-09-19 Wafa Tebourski Ourida Ben Boubaker Saidi

This chapter is dedicated to recent developments in the field of wavelet analysis for scattered data. We introduce the concept of samplets, which are signed measures of wavelet type and may be defined on sets of arbitrarily distributed data…

Numerical Analysis · Mathematics 2025-03-25 Helmut Harbrecht , Michael Multerer

In this paper we take closer look at recent developments for the chase procedure, and provide additional results. Our analysis allows us create a taxonomy of the chase variations and the properties they satisfy. Two of the most central…

Databases · Computer Science 2014-07-10 Gosta Grahne , Adrian Onet

Cycloids are particular Petri nets for modelling processes of actions and events, belonging to the fundaments of Petri's general systems theory. Defined by four parameters they provide an algebraic formalism to describe strongly…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-29 Rüdiger Valk , Daniel Moldt

Cycloids are particular Petri nets for modelling processes of actions and events, belonging to the fundaments of Petri's general systems theory. Defined by four parameters they provide an algebraic formalism to describe strongly…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-13 Rüdiger Valk , Daniel Moldt

Generalization across domains requires stable structure that links the source and target distributions. Building on causal transportability theory, we study a sequential prediction setting in which the target predictor can be represented as…

Machine Learning · Computer Science 2026-05-28 Kasra Jalaldoust , Elias Bareinboim

Traceability, the ability to trace relevant software artifacts to support reasoning about the quality of the software and its development process, plays a crucial role in requirements and software engineering, particularly for…

Software Engineering · Computer Science 2024-05-20 Jin L. C. Guo , Jan-Philipp Steghöfer , Andreas Vogelsang , Jane Cleland-Huang

White Matter Tract Segmentation is imperative for studying brain structural connectivity, neurological disorders and neurosurgery. This task remains complex, as tracts differ among themselves, across subjects and conditions, yet have…

Computer Vision and Pattern Recognition · Computer Science 2026-01-21 Anoushkrit Goel , Simroop Singh , Ankita Joshi , Ranjeet Ranjan Jha , Chirag Ahuja , Aditya Nigam , Arnav Bhavsar

Compositional generalization -- the ability to understand and generate novel combinations of learned concepts -- enables models to extend their capabilities beyond limited experiences. While effective, the data structures and principles…

Machine Learning · Computer Science 2025-12-12 Lingjing Kong , Shaoan Xie , Yang Jiao , Yetian Chen , Yanhui Guo , Simone Shao , Yan Gao , Guangyi Chen , Kun Zhang

Developing and maintaining CLP programs requires visualization and explanation tools. However, existing tools are built in an ad hoc way. Therefore porting tools from one platform to another is very difficult. We have shown in previous work…

Programming Languages · Computer Science 2007-05-23 Ludovic Langevine , Pierre Deransart , Mireille Ducasse , Erwan Jahier

In this paper we are interested in studying concise representations of concepts and dependencies, i.e., implications and association rules. Such representations are based on equivalence classes and their elements, i.e., minimal generators,…

Discrete Mathematics · Computer Science 2022-11-28 Aleksey Buzmakov , Egor Dudyrev , Sergei O. Kuznetsov , Tatiana Makhalova , Amedeo Napoli
‹ Prev 1 3 4 5 6 7 10 Next ›