中文
相关论文

相关论文: Timeline-based Process Discovery

200 篇论文

The focus of this paper is the analysis of real-time systems with recursion, through the development of good theoretical techniques which are implementable. Time is modeled using clock variables, and recursion using stacks. Our technique…

形式语言与自动机理论 · 计算机科学 2017-07-11 S. Akshay , Paul Gastin , Shankara Narayanan Krishna , Ilias Sarkar

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…

形式语言与自动机理论 · 计算机科学 2025-07-10 Tian Li , Artem Polyvyanyy , Sander J. J. Leemans

Parallel real-time systems (e.g., autonomous driving systems) often contain functionalities with complex dependencies and execution uncertainties, leading to significant timing variability which can be represented as a probabilistic…

分布式、并行与集群计算 · 计算机科学 2025-04-08 Yiyang Gao , Shuai Zhao , Boyang Li , Xinwei Fang , Zhiyang Lin , Zhe Jiang , Nan Guan

Finding patterns in graphs is a fundamental problem in databases and data mining. In many applications, graphs are temporal and evolve over time, so we are interested in finding durable patterns, such as triangles and paths, which persist…

数据库 · 计算机科学 2024-03-26 Pankaj K. Agarwal , Xiao Hu , Stavros Sintos , Jun Yang

An essential characteristic of mature software and system development organizations is the definition and use of explicit process models. For a number of reasons, it can be valuable to produce new process models by tailoring existing…

软件工程 · 计算机科学 2014-01-21 Martín Soto , Jürgen Münch

The representation of graphs is commonly based on the adjacency matrix concept. This formulation is the foundation of most algebraic and computational approaches to graph processing. The advent of deep learning language models offers a wide…

人工智能 · 计算机科学 2025-12-16 Ezequiel Lopez-Rubio

Time series modeling has attracted extensive research efforts; however, achieving both reliable efficiency and interpretability from a unified model still remains a challenging problem. Among the literature, shapelets offer interpretable…

机器学习 · 计算机科学 2020-12-01 Ziqiang Cheng , Yang Yang , Wei Wang , Wenjie Hu , Yueting Zhuang , Guojie Song

Heuristic-based methods are among the most popular methods in the process discovery area. This category of methods is composed of two main steps: 1) discovering a dependency graph 2) determining the split/join patterns of the dependency…

人工智能 · 计算机科学 2022-03-22 Maryam Tavakoli-Zaniani , Mohammad Reza Gholamian , S. Alireza Hashemi Golpayegani

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…

软件工程 · 计算机科学 2021-05-14 Adriano Augusto , Marlon Dumas , Marcello La Rosa

Temporal networks model a variety of important phenomena involving timed interactions between entities. Existing methods for machine learning on temporal networks generally exhibit at least one of two limitations. First, time is assumed to…

Organizations rely heavily on time series metrics to measure and model key aspects of operational and business performance. The ability to reliably detect issues with these metrics is imperative to identifying early indicators of major…

机器学习 · 计算机科学 2020-11-11 Sayan Chakraborty , Smit Shah , Kiumars Soltani , Anna Swigart , Luyao Yang , Kyle Buckingham

State-of-the-art process discovery methods construct free-choice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events. Whenever the input behaviour is not…

人工智能 · 计算机科学 2023-06-22 Anna Kalenkova , Josep Carmona , Artem Polyvyanyy , Marcello La Rosa

To represent the causal relationships between variables, a directed acyclic graph (DAG) is widely utilized in many areas, such as social sciences, epidemics, and genetics. Many causal structure learning approaches are developed to learn the…

机器学习 · 统计学 2025-01-14 Jianian Wang , Rui Song

Timed model checking, the method to formally verify real-time systems, is attracting increasing attention from both the model checking community and the real-time community. Explicit-time description methods verify real-time systems using…

计算机科学中的逻辑 · 计算机科学 2009-12-15 Hao Wang , Wendy MacCaull

We consider an asynchronous system with transitions corresponding to the instructions of a computer system. For each instruction, a runtime is given. We propose a mathematical model, allowing us to construct an algorithm for finding the…

计算机科学中的逻辑 · 计算机科学 2013-05-14 Ahmet A. Husainov , E. S. Kudryashova

Link prediction aims to reveal missing edges in a graph. We address this task with a Gaussian process that is transformed using simplified graph convolutions to better leverage the inductive bias of the domain. To scale the Gaussian process…

机器学习 · 计算机科学 2020-02-12 Felix L. Opolka , Pietro Liò

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.…

数据结构与算法 · 计算机科学 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

Process analytics approaches allow organizations to support the practice of Business Process Management and continuous improvement by leveraging all process-related data to extract knowledge, improve process performance and support…

其他计算机科学 · 计算机科学 2025-02-25 Asjad Khan , Aditya Ghose , Hoa Dam , Arsal Syed

Probabilistic programming languages represent complex data with intermingled models in a few lines of code. Efficient inference algorithms in probabilistic programming languages make possible to build unified frameworks to compute…

机器学习 · 统计学 2016-07-15 Anh Tong , Jaesik Choi

Developments in Deep Learning have significantly improved time series forecasting by enabling more accurate modeling of complex temporal dependencies inherent in sequential data. The effectiveness of such models is often demonstrated on…

机器学习 · 计算机科学 2025-11-19 Victoria Hankemeier , Malte Schilling