English
Related papers

Related papers: Timeline-based Process Discovery

200 papers

This paper focuses on generating test cases from timed symbolic transition systems. At the heart of the generation process are symbolic execution techniques on data and time. Test cases look like finite symbolic trees with verdicts on their…

Formal Languages and Automata Theory · Computer Science 2023-09-14 Boutheina Bannour , Arnault Lapitre , Pascale Le Gall , Thang Nguyen

Designing plausible network models typically requires scholars to form a priori intuitions on the key drivers of network formation. Oftentimes, these intuitions are supported by the statistical estimation of a selection of network evolution…

Social and Information Networks · Computer Science 2019-07-01 Telmo Menezes , Camille Roth

Business process simulation is a versatile technique to estimate the performance of a process under multiple scenarios. This, in turn, allows analysts to compare alternative options to improve a business process. A common roadblock for…

Software Engineering · Computer Science 2020-03-30 Manuel Camargo , Marlon Dumas , Oscar González-Rojas

Autonomous systems control many tasks in our daily lives. To increase trust in those systems and safety of the interaction between humans and autonomous systems, the system behaviour and reasons for autonomous decision should be explained…

Software Engineering · Computer Science 2022-09-29 Maike Schwammberger , Verena Klös

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

Dynamic graphs refer to graphs whose structure dynamically changes over time. Despite the benefits of learning vertex representations (i.e., embeddings) for dynamic graphs, existing works merely view a dynamic graph as a sequence of changes…

Machine Learning · Computer Science 2023-11-02 Yu Yang , Hongzhi Yin , Jiannong Cao , Tong Chen , Quoc Viet Hung Nguyen , Xiaofang Zhou , Lei Chen

A central task in many applications is reasoning about processes that change over continuous time. Continuous-Time Bayesian Networks is a general compact representation language for multi-component continuous-time processes. However, exact…

Artificial Intelligence · Computer Science 2012-06-18 Tal El-Hay , Nir Friedman , Raz Kupferman

We propose a new method for simplification of Gaussian process (GP) models by projecting the information contained in the full encompassing model and selecting a reduced number of variables based on their predictive relevance. Our results…

Methodology · Statistics 2017-12-18 Juho Piironen , Aki Vehtari

Despite the prevalence of recent success in learning from static graphs, learning from time-evolving graphs remains an open challenge. In this work, we design new, more stringent evaluation procedures for link prediction specific to dynamic…

Machine Learning · Computer Science 2022-09-13 Farimah Poursafaei , Shenyang Huang , Kellin Pelrine , Reihaneh Rabbany

Uniform timeslicing of dynamic graphs has been used due to its convenience and uniformity across the time dimension. However, uniform timeslicing does not take the data set into account, which can generate cluttered timeslices with edge…

Social and Information Networks · Computer Science 2019-07-30 Yong Wang , Daniel Archambault , Hammad Haleem , Torsten Moeller , Yanhong Wu , Huamin Qu

Process mining enables the reconstruction and evaluation of business processes based on digital traces in IT systems. An increasingly important technique in this context is process prediction. Given a sequence of events of an ongoing trace,…

Machine Learning · Computer Science 2021-06-09 Dominic A. Neu , Johannes Lahann , Peter Fettke

Time series and signals are attracting more attention across statistics, machine learning and pattern recognition as it appears widely in the industry especially in sensor and IoT related research and applications, but few advances has been…

Machine Learning · Computer Science 2018-08-15 Lu Liu , Zhiguang Wang

Graph or network representations are an important foundation for data mining and machine learning tasks in relational data. Many tools of network analysis, like centrality measures, information ranking, or cluster detection rest on the…

Social and Information Networks · Computer Science 2022-02-10 Luka V. Petrovic , Ingo Scholtes

A temporal graph is a graph in which vertices communicate with each other at specific time, e.g., $A$ calls $B$ at 11 a.m. and talks for 7 minutes, which is modeled by an edge from $A$ to $B$ with starting time "11 a.m." and duration "7…

Databases · Computer Science 2016-01-26 Huanhuan Wu , Yuzhen Huang , James Cheng , Jinfeng Li , Yiping Ke

Process mining is a research field focused on the analysis of event data with the aim of extracting insights in processes. Applying process mining techniques on data from smart home environments has the potential to provide valuable…

Methodology · Statistics 2016-09-13 Niek Tax , Emin Alasgarov , Natalia Sidorova , Reinder Haakma

We propose a latent self-exciting point process model that describes geographically distributed interactions between pairs of entities. In contrast to most existing approaches that assume fully observable interactions, here we consider a…

Social and Information Networks · Computer Science 2014-05-02 Yoon-Sik Cho , Aram Galstyan , P. Jeffrey Brantingham , George Tita

Automated driving in urban scenarios requires efficient planning algorithms able to handle complex situations in real-time. A popular approach is to use graph-based planning methods in order to obtain a rough trajectory which is…

Robotics · Computer Science 2021-02-17 Oliver Speidel , Jona Ruof , Klaus Dietmayer

Process-aware information systems offer extensive advantages to companies, facilitating planning, operations, and optimization of day-to-day business activities. However, the time-consuming but required step of designing formal business…

Computation and Language · Computer Science 2024-04-09 Julian Neuberger , Lars Ackermann , Stefan Jablonski

We propose a new method for automatically detecting monotonic input-output relationships from data using Gaussian Process (GP) models with virtual derivative observations. Our results on synthetic and real datasets show that the proposed…

Methodology · Statistics 2016-10-19 Eero Siivola , Juho Piironen , Aki Vehtari

Motivated by recent experimental developments in functional genomics, we construct and test a numerical technique for inferring it process pathways, in which one process calls another process, from time series data. We validate using a case…

Biological Physics · Physics 2007-05-23 Chris Wiggins , Ilya Nemenman