中文
相关论文

相关论文: SKTR: Trace Recovery from Stochastically Known Log…

200 篇论文

With the growing number of devices, sensors and digital systems, data logs may become uncertain due to, e.g., sensor reading inaccuracies or incorrect interpretation of readings by processing programs. At times, such uncertainties can be…

人工智能 · 计算机科学 2023-11-22 Eli Bogdanov , Izack Cohen , Avigdor Gal

Process discovery algorithms automatically extract process models from event logs, but high variability often results in complex and hard-to-understand models. To mitigate this issue, trace clustering techniques group process executions…

机器学习 · 计算机科学 2025-12-11 Jari Peeperkorn , Johannes De Smedt , Jochen De Weerdt

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

Various kinds of uncertainty can occur in event logs, e.g., due to flawed recording, data quality issues, or the use of probabilistic models for activity recognition. Stochastically known event logs make these uncertainties transparent by…

Most real-world datasets, and particularly those collected from physical systems, are full of noise, packet loss, and other imperfections. However, most specification mining, anomaly detection and other such algorithms assume, or even…

机器学习 · 计算机科学 2019-04-12 Ilia Sucholutsky , Apurva Narayan , Matthias Schonlau , Sebastian Fischmeister

Given an event log as a collection of recorded real-world process traces, process mining aims to automatically construct a process model that is both simple and provides a useful explanation of the traces. Conformance checking techniques…

人工智能 · 计算机科学 2020-08-27 Artem Polyvyanyy , Alistair Moffat , Luciano García-Bañuelos

Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect to a process model and their severity. However, approaches based on trace alignments use crisp process models as reference and recent…

数据库 · 计算机科学 2021-07-09 Giacomo Bergami , Fabrizio Maria Maggi , Marco Montali , Rafael Peñaloza

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…

数据库 · 计算机科学 2024-07-03 Pierre Cry , András Horváth , Paolo Ballarini , Pascal Le Gall

Stroke order and velocity are helpful features in the fields of signature verification, handwriting recognition, and handwriting synthesis. Recovering these features from offline handwritten text is a challenging and well-studied problem.…

计算机视觉与模式识别 · 计算机科学 2021-05-26 Taylor Archibald , Mason Poggemann , Aaron Chan , Tony Martinez

Stochastic process discovery is concerned with deriving a model capable of reproducing the stochastic character of observed executions of a given process, stored in a log. This leads to an optimisation problem in which the model's parameter…

形式语言与自动机理论 · 计算机科学 2025-05-01 Pierre Cry , Paolo Ballarini , András Horváth , Pascale Le Gall

Motivated by the abundance of uncertain event data from multiple sources including physical devices and sensors, this paper presents the task of relating a stochastic process observation to a process model that can be rendered from a…

人工智能 · 计算机科学 2022-06-28 Izack Cohen , Avigdor Gal

Stochastic restoration algorithms allow to explore the space of solutions that correspond to the degraded input. In this paper we reveal additional fundamental advantages of stochastic methods over deterministic ones, which further motivate…

图像与视频处理 · 电气工程与系统科学 2024-05-21 Guy Ohayon , Theo Adrai , Michael Elad , Tomer Michaeli

Trace alignment algorithms have been used in process mining for discovering the consensus treatment procedures and process deviations. Different alignment algorithms, however, may produce very different results. No widely-adopted method…

其他计算机科学 · 计算机科学 2017-09-21 Moliang Zhou , Sen Yang , Shuyu Lv , Xinyu Li , Shuhong Chen , Ivan Marsic , Richard Farneth , Randall Burd

This paper introduces Stochastic RAG--a novel approach for end-to-end optimization of retrieval-augmented generation (RAG) models that relaxes the simplifying assumptions of marginalization and document independence, made in most prior…

计算与语言 · 计算机科学 2024-05-07 Hamed Zamani , Michael Bendersky

Existing tracking methods mainly focus on learning better target representation or developing more robust prediction models to improve tracking performance. While tracking performance has significantly improved, the target loss issue occurs…

计算机视觉与模式识别 · 计算机科学 2024-03-29 Yuqing Huang , Xin Li , Zikun Zhou , Yaowei Wang , Zhenyu He , Ming-Hsuan Yang

When optimizing problems with uncertain parameter values in a linear objective, decision-focused learning enables end-to-end learning of these values. We are interested in a stochastic scheduling problem, in which processing times are…

机器学习 · 计算机科学 2024-08-16 Kim van den Houten , David M. J. Tax , Esteban Freydell , Mathijs de Weerdt

The goal of the trace reconstruction problem is to recover a string $x\in\{0,1\}^n$ given many independent {\em traces} of $x$, where a trace is a subsequence obtained from deleting bits of $x$ independently with some given probability…

信息论 · 计算机科学 2024-01-30 Kuan Cheng , Elena Grigorescu , Xin Li , Madhu Sudan , Minshen Zhu

Log messages record important system runtime information and are useful for detecting anomalous behaviors and managing modern software systems. Many supervised and unsupervised learning methods have been proposed recently for log-based…

机器学习 · 计算机科学 2025-04-07 Yiyuan Xiong , Shaofeng Cai

To test the effectiveness of process discovery algorithms, a Process Discovery Contest (PDC) has been set up. This PDC uses a classification approach to measure this effectiveness: The better the discovered model can classify whether or not…

人工智能 · 计算机科学 2018-06-22 H. M. W. Verbeek , R. Medeiros de Carvalho

There has been substantial progress in the inference of formal behavioural specifications from sample trajectories, for example, using Linear Temporal Logic (LTL). However, these techniques cannot handle specifications that correctly…

计算机科学中的逻辑 · 计算机科学 2025-05-20 Rajarshi Roy , Yash Pote , David Parker , Marta Kwiatkowska
‹ 上一页 1 2 3 10 下一页 ›