English
Related papers

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

200 papers

Advances in Internet-of-Things (IoT) technologies have prompted the integration of IoT devices with business processes (BPs) in many organizations across various sectors, such as manufacturing, healthcare and smart spaces. The proliferation…

Conformance checking techniques aim to provide diagnostics on the conformity between process models and event data. Conventional methods, such as trace alignments, assume strict total ordering of events, leading to inaccuracies when…

Databases · Computer Science 2025-04-08 Ariba Siddiqui , Wil M. P. van der Aalst , Daniel Schuster

The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Event structures are…

Logic in Computer Science · Computer Science 2023-06-22 G. Michele Pinna

Considerable effort has been made to increase the scale of Linked Data. However, an inevitable problem when dealing with data integration from multiple sources is that multiple different sources often provide conflicting objects for a…

Databases · Computer Science 2017-04-25 Wenqiang Liu , Jun Liu , Haimeng Duan , Xie He , Bifan Wei

Process mining leverages event data extracted from IT systems to generate insights into the business processes of organizations. Such insights benefit from explicitly considering the frequency of behavior in business processes, which is…

Formal Languages and Automata Theory · Computer Science 2025-07-10 Tian Li , Artem Polyvyanyy , Sander J. J. Leemans

The situation calculus logic model is convenient for modelling the actions that can occur in an information system application. The interplay of pre-conditions and post-conditions determines a semantically justified partial order of the…

Logic in Computer Science · Computer Science 2022-07-04 Edirlei Soares de Lima , Antonio L. Furtado , Bruno Feijó , Marco A. Casanova

Urban mobility is a multi-entity system that involves travelers, transport modes, and infrastructure. Beyond conventional origin/destination analysis, this paper investigates how process mining can structure and interpret mobility behavior…

Social and Information Networks · Computer Science 2026-02-16 Khristina Filonchik , Jose Pedro Pinto , Flávio L. Pinheiro , Fernando Bacao

Cyber-Physical Systems (CPSs) tightly interconnect digital and physical operations within production environments, enabling real-time monitoring, control, optimization, and autonomous decision-making that directly enhance manufacturing…

Machine Learning · Computer Science 2025-12-16 Francesco Vitale , Nicola Dall'Ora , Sebastiano Gaiardelli , Enrico Fraccaroli , Nicola Mazzocca , Franco Fummi

The analysis of biological networks has benefited from the richness of Boolean networks (BNs) and the associated theory. These results have been further fortified in recent years by the emergence of Most Permissive (MP) semantics, combining…

Discrete Mathematics · Computer Science 2025-05-26 Stefan Haar , Juri Kolčák

Retrieving occlusion relation among objects in a single image is challenging due to sparsity of boundaries in image. We observe two key issues in existing works: firstly, lack of an architecture which can exploit the limited amount of…

Computer Vision and Pattern Recognition · Computer Science 2021-08-19 Panhe Feng , Qi She , Lei Zhu , Jiaxin Li , Lin Zhang , Zijian Feng , Changhu Wang , Chunpeng Li , Xuejing Kang , Anlong Ming

With the rapid advancement of image captioning and visual question answering at single-round level, the question of how to generate multi-round dialogue about visual content has not yet been well explored.Existing visual dialogue methods…

Computer Vision and Pattern Recognition · Computer Science 2020-06-16 Ziwei Wang , Zi Huang , Yadan Luo , Huimin Lu

Population protocols (Angluin et al., PODC, 2004) are a formal model of sensor networks consisting of identical mobile devices. Two devices can interact and thereby change their states. Computations are infinite sequences of interactions…

Logic in Computer Science · Computer Science 2018-08-15 Javier Esparza , Pierre Ganty , Rupak Majumdar , Chana Weil-Kennedy

Process mining, a technique turning event data into business process insights, has traditionally operated on the assumption that each event corresponds to a singular case or object. However, many real-world processes are intertwined with…

Artificial Intelligence · Computer Science 2023-10-17 Gyunam Park , Sevde Aydin , Cuneyt Ugur , Wil M. P. van der Aalst

Analyzing complex scenes with Deep Neural Networks is a challenging task, particularly when images contain multiple objects that partially occlude each other. Existing approaches to image analysis mostly process objects independently and do…

Computer Vision and Pattern Recognition · Computer Science 2021-04-02 Xiaoding Yuan , Adam Kortylewski , Yihong Sun , Alan Yuille

Object-centric process mining is emerging as a promising paradigm across diverse industries, drawing substantial academic attention. To support its data requirements, existing object-centric data formats primarily facilitate the exchange of…

The emergence of synchronization in a network of coupled oscillators is a fascinating topic in various scientific disciplines. A coupled oscillator network is characterized by a population of heterogeneous oscillators and a graph describing…

Optimization and Control · Mathematics 2015-06-05 Florian Dörfler , Michael Chertkov , Francesco Bullo

Object permanence, which refers to the concept that objects continue to exist even when they are no longer perceivable through the senses, is a crucial aspect of human cognitive development. In this work, we seek to incorporate this…

Robotics · Computer Science 2024-03-14 Shaoting Peng , Margaret X. Wang , Julie A. Shah , Nadia Figueroa

This paper introduces the Ongoing Event Detection (OED) task, which is a specific Event Detection task where the goal is to detect ongoing event mentions only, as opposed to historical, future, hypothetical, or other forms or events that…

Computation and Language · Computer Science 2021-02-09 Mariano Maisonnave , Fernando Delbianco , Fernando Tohmé , Ana Maguitman , Evangelos Milios

In a clone node attack, an attacker attempted to physically capture the devices to gather sensitive information to conduct various insider attacks. Several solutions for detecting clone node attacks on IoT networks have been presented in…

Cryptography and Security · Computer Science 2021-08-24 Khizar Hameed , Saurabh Garg , Muhammad Bilal Amin , Byeong Kang

Binary Neural Networks (BNNs) offer a low-complexity and energy-efficient alternative to traditional full-precision neural networks by constraining their weights and activations to binary values. However, their discrete, highly non-linear…

Machine Learning · Computer Science 2026-02-16 Mohamed Tarraf , Alex Chan , Alex Yakovlev , Rishad Shafik