English
Related papers

Related papers: DisCoveR: Accurate & Efficient Discovery of Declar…

200 papers

The discipline of process mining deals with analyzing execution data of operational processes, extracting models from event data, checking the conformance between event data and normative models, and enhancing all aspects of processes.…

Data Structures and Algorithms · Computer Science 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

Process mining is a methodology for the derivation and analysis of process models based on the event log. When process mining is employed to analyze business processes, the process discovery step, the conformance checking step, and the…

Machine Learning · Computer Science 2022-12-01 Sunghyun Sim , Ling Liu , Hyerim Bae

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel…

Artificial Intelligence · Computer Science 2008-02-21 Nicola Leone , Gerald Pfeifer , Wolfgang Faber , Thomas Eiter , Georg Gottlob , Simona Perri , Francesco Scarcello

Process mining is a family of techniques that aim at analyzing business process execution data recorded in event logs. Conformance checking is a branch of this discipline embracing approaches for verifying whether the behavior of a process,…

Software Engineering · Computer Science 2016-08-19 Andrea Burattin , Fabrizio Maria Maggi , Alessandro Sperduti

Non-uniform image deblurring is a challenging task due to the lack of temporal and textural information in the blurry image itself. Complementary information from auxiliary sensors such event sensors are being explored to address these…

Computer Vision and Pattern Recognition · Computer Science 2022-08-25 Patricia Vitoria , Stamatios Georgoulis , Stepan Tulyakov , Alfredo Bochicchio , Julius Erbach , Yuanyou Li

Process discovery aims to automatically derive process models from event logs, enabling organizations to analyze and improve their operational processes. Inductive mining algorithms, while prioritizing soundness and efficiency through…

Artificial Intelligence · Computer Science 2025-09-22 Humam Kourani , Gyunam Park , Wil M. P. van der Aalst

When interactively exploring video data, video-native querying involves consuming query results as videos, including steps such as compilation of extracted video clips or data overlays. These video-native queries are bottlenecked by…

Databases · Computer Science 2026-01-27 Dominik Winecki , Arnab Nandi

In continual learning, solving the catastrophic forgetting problem may make the models fall into the stability-plasticity dilemma. Moreover, inter-task confusion will also occur due to the lack of knowledge exchanges between different…

Computer Vision and Pattern Recognition · Computer Science 2025-06-10 Sheng-Kai Huang , Jiun-Feng Chang , Chun-Rong Huang

Deep learning classifiers achieve state-of-the-art performance in various risk detection applications. They explore rich semantic representations and are supposed to automatically discover risk behaviors. However, due to the lack of…

Cryptography and Security · Computer Science 2025-05-15 Yiling He , Jian Lou , Zhan Qin , Kui Ren

Numerous process discovery techniques exist for generating process models that describe recorded executions of business processes. The models are meant to generalize executions into human-understandable modeling patterns, notably…

Software Engineering · Computer Science 2021-09-15 Dennis Brons , Roeland Scheepens , Dirk Fahland

Enterprise information systems allow companies to maintain detailed records of their business process executions. These records can be extracted in the form of event logs, which capture the execution of activities across multiple instances…

Software Engineering · Computer Science 2021-05-14 Adriano Augusto , Marlon Dumas , Marcello La Rosa

Automated process discovery from event logs is a key component of process mining, allowing companies to acquire meaningful insights into their business processes. Despite significant research, present methods struggle to balance important…

Databases · Computer Science 2024-12-10 Ali Nour Eldin , Benjamin Dalmas , Walid Gaaloul

Despite growing interest in process analysis and mining for data-aware specifications, alignment-based conformance checking for declarative process models has focused on pure control-flow specifications, or mild data-aware extensions…

A critical bottleneck in deep reinforcement learning (DRL) is sample inefficiency, as training high-performance agents often demands extensive environmental interactions. Model-based reinforcement learning (MBRL) mitigates this by building…

Machine Learning · Computer Science 2025-09-30 Boxuan Zhang , Runqing Wang , Wei Xiao , Weipu Zhang , Jian Sun , Gao Huang , Jie Chen , Gang Wang

In domestic environments, robots require a comprehensive understanding of their surroundings to interact effectively and intuitively with untrained humans. In this paper, we propose DVEFormer - an efficient RGB-D Transformer-based approach…

Computer Vision and Pattern Recognition · Computer Science 2026-01-05 Söhnke Benedikt Fischedick , Daniel Seichter , Benedict Stephan , Robin Schmidt , Horst-Michael Gross

Flexible business processes can often be modelled more easily using a declarative rather than a procedural modelling approach. Process mining aims at automating the discovery of business process models. Existing declarative process mining…

Databases · Computer Science 2016-11-04 Stefan Schönig

Deep convolutional neural networks have shown high efficiency in computer visions and other applications. However, with the increase in the depth of the networks, the computational complexity is growing exponentially. In this paper, we…

Machine Learning · Computer Science 2021-01-08 Ali Mirzaeian , Sai Manoj , Ashkan Vakil , Houman Homayoun , Avesta Sasan

Modern information systems are able to collect event data in the form of event logs. Process mining techniques allow to discover a model from event data, to check the conformance of an event log against a reference model, and to perform…

Databases · Computer Science 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

Generative retrieval (GR) directly predicts the identifiers of relevant documents (i.e., docids) based on a parametric model. It has achieved solid performance on many ad-hoc retrieval tasks. So far, these tasks have assumed a static…

Information Retrieval · Computer Science 2025-09-30 Jiangui Chen , Ruqing Zhang , Jiafeng Guo , Maarten de Rijke , Wei Chen , Yixing Fan , Xueqi Cheng

The proliferation of misinformation necessitates robust yet computationally efficient fact verification systems. While current state-of-the-art approaches leverage Large Language Models (LLMs) for generating explanatory rationales, these…

Computation and Language · Computer Science 2025-11-10 Alamgir Munir Qazi , John P. McCrae , Jamal Abdul Nasir