中文
相关论文

相关论文: GECCO: Constraint-driven Abstraction of Low-level …

200 篇论文

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,…

人机交互 · 计算机科学 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…

机器学习 · 计算机科学 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…

人工智能 · 计算机科学 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.…

软件工程 · 计算机科学 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,…

系统与控制 · 电气工程与系统科学 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…

人工智能 · 计算机科学 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.…

计算与语言 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

计算与语言 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

机器学习 · 计算机科学 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…

软件工程 · 计算机科学 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,…

声音 · 计算机科学 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.…

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…

操作系统 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

机器学习 · 计算机科学 2023-12-18 Wenjun Zhou , Artem Polyvyanyy , James Bailey