English
Related papers

Related papers: To bind or not to bind? Discovering Stable Relatio…

200 papers

Occlusion relationship reasoning demands closed contour to express the object, and orientation of each contour pixel to describe the order relationship between objects. Current CNN-based methods neglect two critical issues of the task: (1)…

Computer Vision and Pattern Recognition · Computer Science 2019-08-19 Rui Lu , Feng Xue , Menghan Zhou , Anlong Ming , Yu Zhou

Modelling, specifying and reasoning about complex systems requires to process in an integrated fashion declarative and procedural aspects of the target domain. The paper reports on an experiment conducted with a propositional version of…

Artificial Intelligence · Computer Science 2020-08-04 Giovanni Sileno

Object Centric Event Data (OCED) has gained attention in recent years within the field of process mining. However, there are still many challenges, such as connecting the XES format to object-centric approaches to enable more insightful…

Databases · Computer Science 2025-11-04 Saba Latif , Huma Latif , Muhammad Rameez Ur Rahman

We identify and demonstrate a weakness of Petri Nets (PN) in specifying composite behavior of reactive systems. Specifically, we show how, when specifying multiple requirements in one PN model, modelers are obliged to specify mechanisms for…

Software Engineering · Computer Science 2023-04-20 Achiya Elyasaf , Tom Yaacov , Gera Weiss

Process mining is concerned with deriving formal models capable of reproducing the behaviour of a given organisational process by analysing observed executions collected in an event log. The elements of an event log are finite sequences…

Databases · Computer Science 2024-07-03 Pierre Cry , András Horváth , Paolo Ballarini , Pascal Le Gall

Hybrid physical systems combine continuous and discrete dynamics, which can be simultaneously affected by faults. Conventional fault detection methods often treat these dynamics separately, limiting their ability to capture interacting…

Systems and Control · Electrical Eng. & Systems 2026-04-07 Fatiha Hamdi , Abdelhafid Zeroual , Fouzi Harrou

Process mining provides ways to analyze business processes. Common process mining techniques consider the process as a whole. However, in real-life business processes, different behaviors exist that make the overall process too complex to…

Databases · Computer Science 2021-03-15 Anahita Farhang Ghahfarokhi , Alessandro Berti , Wil M. P. van der Aalst

Capturing stochastic behaviors in business and work processes is essential to quantitatively understand how nondeterminism is resolved when taking decisions within the process. This is of special interest in process mining, where event data…

Logic in Computer Science · Computer Science 2023-06-13 Sander J. J. Leemans , Fabrizio M. Maggi , Marco Montali

The automation and digitalization of business processes has resulted in large amounts of data captured in information systems, which can aid businesses in understanding their processes better, improve workflows, or provide operational…

Artificial Intelligence · Computer Science 2022-07-21 Timo Rohrer , Anahita Farhang Ghahfarokhi , Mohamed Behery , Gerhard Lakemeyer , Wil M. P. van der Aalst

Trading systems are software platforms that support the exchange of securities (e.g., company shares) between participants. In this paper, we present a method to search for deviations in trading systems by checking conformance between…

Software Engineering · Computer Science 2022-11-01 Julio C. Carrasquel , Irina A. Lomazova

Recurrent connections in the visual cortex are thought to aid object recognition when part of the stimulus is occluded. Here we investigate if and how recurrent connections in artificial neural networks similarly aid object recognition. We…

Computer Vision and Pattern Recognition · Computer Science 2019-09-12 Markus Roland Ernst , Jochen Triesch , Thomas Burwick

Conformance checking is a crucial aspect of process mining, where the main objective is to compare the actual execution of a process, as recorded in an event log, with a reference process model, e.g., in the form of a Petri net or a BPMN.…

Information Retrieval · Computer Science 2025-01-24 Majid Rafiei , Mahsa Pourbafrani , Wil M. P. van der Aalst

In process discovery, the goal is to find, for a given event log, the model describing the underlying process. While process models can be represented in a variety of ways, Petri nets form a theoretically well-explored description language…

Databases · Computer Science 2026-04-08 Lisa Luise Mannel , Wil M. P. van der Aalst

Human-Object Interaction Detection is a crucial aspect of human-centric scene understanding, with important applications in various domains. Despite recent progress in this field, recognizing subtle and detailed interactions remains…

Computer Vision and Pattern Recognition · Computer Science 2023-11-14 Guangzhi Wang , Yangyang Guo , Mohan Kankanhalli

The presence of occlusions has provided substantial challenges to typically-powerful object recognition algorithms. Additional sources of information can be extremely valuable to reduce errors caused by occlusions. Scene context is known to…

Computer Vision and Pattern Recognition · Computer Science 2025-10-31 Courtney M. King , Daniel D. Leeds , Damian Lyons , George Kalaitzis

An important component of computer vision research is object detection. In recent years, there has been tremendous progress in the study of construction site images. However, there are obvious problems in construction object detection,…

Computer Vision and Pattern Recognition · Computer Science 2022-10-31 Mahdi Bonyani , Maryam Soleymani

Object-centric process mining is a new paradigm with more realistic assumptions about underlying data by considering several case notions, e.g., an order handling process can be analyzed based on order, item, package, and route case…

Artificial Intelligence · Computer Science 2022-12-06 Amin Jalali

A time series is a collection of measurements in chronological order. Discovering patterns from time series is useful in many domains, such as stock analysis, disease detection, and weather forecast. To discover patterns, existing methods…

Databases · Computer Science 2022-02-10 Youxi Wu , Qian Hu , Yan Li , Lei Guo , Xingquan Zhu , Xindong Wu

Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes,…

Artificial Intelligence · Computer Science 2021-04-20 Paolo Felli , Alessandro Gianola , Marco Montali , Andrey Rivkin , Sarah Winkler

Process mining is of great importance for both data-centric and process-centric systems. Process mining receives so-called process logs which are collections of partially-ordered events. An event has to possess at least three attributes,…

Other Computer Science · Computer Science 2020-04-22 Iman M. A. Helal , Ahmed Awad