English
Related papers

Related papers: GECCO: Constraint-driven Abstraction of Low-level …

200 papers

Event sequence data record series of discrete events in the time order of occurrence. They are commonly observed in a variety of applications ranging from electronic health records to network logs, with the characteristics of large-scale,…

Human-Computer Interaction · Computer Science 2020-06-26 Yi Guo , Shunan Guo , Zhuochen Jin , Smiti Kaul , David Gotz , Nan Cao

The study of causal abstractions bridges two integral components of human intelligence: the ability to determine cause and effect, and the ability to interpret complex patterns into abstract concepts. Formally, causal abstraction frameworks…

Machine Learning · Computer Science 2025-09-29 Kevin Xia , Elias Bareinboim

Abstraction is essential for reducing the complexity of systems across diverse fields, yet designing effective abstraction methodology for probabilistic models is inherently challenging due to stochastic behaviors and uncertainties. Current…

Artificial Intelligence · Computer Science 2025-03-03 Nijesh Upreti , Vaishak Belle

Logical specifications play a key role in the formal analysis of behavioural models. Automating the derivation of such specifications is particularly valuable in complex systems, where manual construction is time-consuming and error-prone.…

Software Engineering · Computer Science 2025-06-11 Radoslaw Klimek , Julia Witek

Scheduling communication traffic in networks of event-triggered control (ETC) systems is challenging, as their sampling times are unknown, hindering application of ETC in networks. In previous work, finite-state abstractions were created,…

Systems and Control · Electrical Eng. & Systems 2026-02-18 Giannis Delimpaltadakis , Manuel Mazo

Decision mining enables the discovery of decision rules from event logs or streams, and constitutes an important part of in-depth analysis and optimisation of business processes. So far, decision mining has been merely applied in an ex-post…

Artificial Intelligence · Computer Science 2023-03-08 Beate Scheibel , Stefanie Rinderle-Ma

Event extraction requires high-quality expert human annotations, which are usually expensive. Therefore, learning a data-efficient event extraction model that can be trained with only a few labeled examples has become a crucial challenge.…

Computation and Language · Computer Science 2022-05-05 I-Hung Hsu , Kuan-Hao Huang , Elizabeth Boschee , Scott Miller , Prem Natarajan , Kai-Wei Chang , Nanyun Peng

A program execution monitor is a program that collects and abstracts information about program executions. The "collect" operator is a high level, general purpose primitive which lets users implement their own monitors. "Collect" is built…

Software Engineering · Computer Science 2007-05-23 Erwan Jahier

Debugging of large software systems consisting of many processes accessing shared resources is a very difficult task. Many commercial systems record essential events during system execution for post-mortem analysis. However, the event…

Software Engineering · Computer Science 2007-05-23 Raymond Smith , Bogdan Korel

To enable process analysis based on an event log without compromising the privacy of individuals involved in process execution, a log may be anonymized. Such anonymization strives to transform a log so that it satisfies provable privacy…

Cryptography and Security · Computer Science 2021-08-11 Fabian Rösel , Stephan A. Fahrenkrog-Petersen , Han van der Aa , Matthias Weidlich

The complexity of today's visualization applications demands specific visualization systems tailored for the development of these applications. Frequently, such systems utilize levels of abstraction to improve the application development…

Event relation extraction (ERE) is a critical and fundamental challenge for natural language processing. Existing work mainly focuses on directly modeling the entire document, which cannot effectively handle long-range dependencies and…

Computation and Language · Computer Science 2024-05-14 Yong Guan , Xiaozhi Wang , Lei Hou , Juanzi Li , Jeff Pan , Jiaoyan Chen , Freddy Lecue

Abstract models of system-level behaviour have applications in design exploration, analysis, testing and verification. We describe a new algorithm for automatically extracting useful models, as automata, from execution traces of a HW/SW…

Formal Languages and Automata Theory · Computer Science 2020-05-06 Natasha Yogananda Jeppu , Tom Melham , Daniel Kroening , John O'Leary

Process discovery algorithms automatically extract process models from event logs, but high variability often results in complex and hard-to-understand models. To mitigate this issue, trace clustering techniques group process executions…

Machine Learning · Computer Science 2025-12-11 Jari Peeperkorn , Johannes De Smedt , Jochen De Weerdt

Business process enactment is generally supported by information systems that record data about process executions, which can be extracted as event logs. Predictive process monitoring is concerned with exploiting such event logs to predict…

Software Engineering · Computer Science 2015-06-05 Chiara Di Francescomarino , Marlon Dumas , Fabrizio Maria Maggi , Irene Teinemaa

We target the problem of developing new low-complexity networks for the sound event detection task. Our goal is to meticulously analyze the performance-complexity trade-off, aiming to be competitive with the large state-of-the-art models,…

Sound · Computer Science 2025-06-13 Tobias Morocutti , Florian Schmid , Jonathan Greif , Francesco Foscarin , Gerhard Widmer

With the servitization of business, understanding how users experience services becomes a crucial success factor for companies. Therefore, there is a need to include feedback from user experiences in the software engineering process.…

Software Engineering · Computer Science 2026-04-07 Paul Kobialka , Andrea Pferscher , Bernhard K. Aichernig , Einar Broch Johnsen , Silvia Lizeth Tapia Tarifa

Operating Systems are built upon a set of abstractions to provide resource management and programming APIs for common functionality, such as synchronization, communication, protection, and I/O. The process abstraction is the bridge across…

Operating Systems · Computer Science 2022-05-26 Rodrigo Siqueira , Nelson Lago , Fabio Kon , Dejan Milojičić

Simple process models are key for effectively communicating the outcomes of process mining. An important question in this context is whether the complexity of event logs used as inputs to process discovery algorithms can serve as a reliable…

Formal Languages and Automata Theory · Computer Science 2025-12-01 Patrizia Schalk , Artem Polyvyanyy

Process mining, a data-driven approach for analyzing, visualizing, and improving business processes using event logs, has emerged as a powerful technique in the field of business process management. Process forecasting is a sub-field of…

Machine Learning · Computer Science 2023-12-18 Wenjun Zhou , Artem Polyvyanyy , James Bailey
‹ Prev 1 3 4 5 6 7 10 Next ›