English
Related papers

Related papers: A Task Taxonomy for Conformance Checking

200 papers

We study the connection of two problems within the planning and verification community: Conformant planning and model-checking of hyperproperties. Conformant planning is the task of finding a sequential plan that achieves a given objective…

Artificial Intelligence · Computer Science 2025-12-30 Raven Beutner , Bernd Finkbeiner

Do visual tasks have a relationship, or are they unrelated? For instance, could having surface normals simplify estimating the depth of an image? Intuition answers these questions positively, implying existence of a structure among visual…

Computer Vision and Pattern Recognition · Computer Science 2018-04-24 Amir Zamir , Alexander Sax , William Shen , Leonidas Guibas , Jitendra Malik , Silvio Savarese

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

Conformance checking techniques allow us to evaluate how well some exhibited behaviour, represented by a trace of monitored events, conforms to a specified process model. Modern monitoring and activity recognition technologies, such as…

Artificial Intelligence · Computer Science 2023-03-31 Jiawei Zheng , Petros Papapanagiotou , Jacques D. Fleuriot

Nowadays, more and more process data are automatically recorded by information systems, and made available in the form of event logs. Process mining techniques enable process-centric analysis of data, including automatically discovering…

Artificial Intelligence · Computer Science 2022-04-11 Marco Pegoraro , Wil M. P. van der Aalst

Many computer vision tasks address the problem of scene understanding and are naturally interrelated e.g. object classification, detection, scene segmentation, depth estimation, etc. We show that we can leverage the inherent relationships…

Computer Vision and Pattern Recognition · Computer Science 2021-03-18 Yao Lu , Sören Pirk , Jan Dlabal , Anthony Brohan , Ankita Pasad , Zhao Chen , Vincent Casser , Anelia Angelova , Ariel Gordon

Quantifying the similarity between datasets has widespread applications in statistics and machine learning. The performance of a predictive model on novel datasets, referred to as generalizability, depends on how similar the training and…

Methodology · Statistics 2025-06-18 Marieke Stolte , Franziska Kappenberg , Jörg Rahnenführer , Andrea Bommert

Data analysis often involves the comparison of complex objects. With the ever increasing amounts and complexity of data, the demand for systems to help with these comparisons is also growing. Increasingly, information visualization tools…

Human-Computer Interaction · Computer Science 2024-03-11 Rebecca Jones , Lucas Tate

Software security visualization is an interdisciplinary field that combines the technical complexity of cybersecurity, including threat intelligence and compliance monitoring, with visual analytics, transforming complex security data into…

Software Engineering · Computer Science 2025-09-26 Ishara Devendra , Chaman Wijesiriwardana , Prasad Wimalaratne

Understanding a visualization is a multi-level process. A reader must extract and extrapolate from numeric facts, understand how those facts apply to both the context of the data and other potential contexts, and draw or evaluate…

Human-Computer Interaction · Computer Science 2020-09-04 Alyxander Burns , Cindy Xiong , Steven Franconeri , Alberto Cairo , Narges Mahyar

A key step in the Bayesian workflow for model building is the graphical assessment of model predictions, whether these are drawn from the prior or posterior predictive distribution. The goal of these assessments is to identify whether the…

Methodology · Statistics 2025-03-04 Teemu Säilynoja , Andrew R. Johnson , Osvaldo A. Martin , Aki Vehtari

As immersive analytics continues to grow as a discipline, so too should its underlying methodological support. Taxonomies play an important role for information visualization and human computer interaction. They provide an organization of…

Human-Computer Interaction · Computer Science 2020-05-14 David Saffo , Sara Di Bartolomeo , Caglar Yildirim , Cody Dunne

Long traces and large event logs that originate from sensors and prediction models are becoming more common in our data-rich world. In such circumstances, conformance checking, a key task in process mining, can become computationally…

Artificial Intelligence · Computer Science 2024-06-11 Eli Bogdanov , Izack Cohen , Avigdor Gal

Assessing the validity of user simulators when used for the evaluation of information retrieval systems remains an open question, constraining their effective use and the reliability of simulation-based results. To address this issue, we…

Information Retrieval · Computer Science 2026-01-19 Andreas Konstantin Kruff , Nolwenn Bernard , Philipp Schaer

Problem-driven visualization work is rooted in deeply understanding the data, actors, processes, and workflows of a target domain. However, an individual's personality traits and cognitive abilities may also influence visualization use.…

Human-Computer Interaction · Computer Science 2021-08-06 Kyle Wm. Hall , Anthony Kouroupis , Anastasia Bezerianos , Danielle Albers Szafir , Christopher Collins

Conformance checking encompasses a body of process mining techniques which aim to find and describe the differences between a process model capturing the expected process behavior and a corresponding event log recording the observed…

Software Engineering · Computer Science 2022-03-29 Daniel Reißner , Abel Armas-Cervantes , Marcello La Rosa

Researchers got success in mining the Web usage data effectively and efficiently. But representation of the mined patterns is often not in a form suitable for direct human consumption. Hence mechanisms and tools that can represent mined…

Human-Computer Interaction · Computer Science 2009-09-01 Ratnesh Kumar Jain , Dr. Suresh Jain , Dr. R. S. Kasana

Business process deviance refers to the phenomenon whereby a subset of the executions of a business process deviate, in a negative or positive way, with respect to its expected or desirable outcomes. Deviant executions of a business process…

Artificial Intelligence · Computer Science 2016-08-31 Hoang Nguyen , Marlon Dumas , Marcello La Rosa , Fabrizio Maria Maggi , Suriadi Suriadi

Since paraphrasing is an ill-defined task, the term "paraphrasing" covers text transformation tasks with different characteristics. Consequently, existing paraphrasing studies have applied quite different (explicit and implicit) criteria as…

Computation and Language · Computer Science 2024-03-27 Marcel Gohsen , Matthias Hagen , Martin Potthast , Benno Stein

Conformance checking techniques aim to collate observed process behavior with normative/modeled process models. The majority of existing approaches focuses on completed process executions, i.e., offline conformance checking. Recently, novel…

Logic in Computer Science · Computer Science 2022-11-23 Daniel Schuster , Gero J. Kolhof