English
Related papers

Related papers: Alignment Approximation for Process Trees

200 papers

In order to obtain a stochastic model that accounts for the stochastic aspects of the dynamics of a business process, usually the following steps are taken. Given an event log, a process tree is obtained through a process discovery…

Computation and Language · Computer Science 2025-04-09 András Horváth , Paolo Ballarini , Pierre Cry

The semi-streaming model is a variant of the streaming model frequently used for the computation of graph problems. It allows the edges of an $n$-node input graph to be read sequentially in $p$ passes using $\tilde{O}(n)$ space. In this…

Data Structures and Algorithms · Computer Science 2020-01-22 Yi-Jun Chang , Martin Farach-Colton , Tsan-Sheng Hsu , Meng-Tsung Tsai

The strong impulse to digitize processes and operations in companies and enterprises have resulted in the creation and automatic recording of an increasingly large amount of process data in information systems. These are made available in…

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

The business processes of organizations may deviate from normal control flow due to disruptive anomalies, including unknown, skipped, and wrongly-ordered activities. To identify these control-flow anomalies, process mining can check…

Machine Learning · Computer Science 2025-02-17 Francesco Vitale , Marco Pegoraro , Wil M. P. van der Aalst , Nicola Mazzocca

This paper describes an alignment-based model for interpreting natural language instructions in context. We approach instruction following as a search over plans, scoring sequences of actions conditioned on structured observations of text…

Computation and Language · Computer Science 2017-04-14 Jacob Andreas , Dan Klein

Pattern matching is a fundamental process in almost every scientific domain. The problem involves finding the positions of a given pattern (usually of short length) in a reference stream of data (usually of large length). The matching can…

Data Structures and Algorithms · Computer Science 2022-07-01 Anas Al-okaily , Abdelghani Tbakhi

Tree models are very widely used in practice of machine learning and data mining. In this paper, we study the problem of model integrity authentication in tree models. In general, the task of model integrity authentication is the design \&…

Cryptography and Security · Computer Science 2022-06-24 Weijie Zhao , Yingjie Lao , Ping Li

This paper addresses a graph optimization problem, called the Witness Tree problem, which seeks a spanning tree of a graph minimizing a certain non-linear objective function. This problem is of interest because it plays a crucial role in…

Data Structures and Algorithms · Computer Science 2023-05-09 Dylan Hyatt-Denesik , Afrouz Jabal Ameli , Laura Sanità

Industrial plants are prone to faults. To notify the operator of a fault occurrence, alarms are utilized as a basic part of modern computer-controlled plants. However, due to the interconnections of different parts of a plant, a single…

Databases · Computer Science 2020-05-05 Amir Neshastegaran , Ali Norouzifar , Iman Izadi

Given an approximation algorithm $A$, we want to find the input with the worst approximation ratio, i.e., the input for which $A$'s output's objective value is the worst possible compared to the optimal solution's objective value. Such hard…

Data Structures and Algorithms · Computer Science 2025-04-29 Eklavya Sharma

We consider the problem of learning underlying tree structure from noisy, mixed data obtained from a linear model. To achieve this, we use the expectation maximization algorithm combined with Chow-Liu minimum spanning tree algorithm. This…

Information Theory · Computer Science 2017-10-06 Navid Tafaghodi Khajavi

Tree search algorithms, such as branch-and-bound, are the most widely used tools for solving combinatorial and nonconvex problems. For example, they are the foremost method for solving (mixed) integer programs and constraint satisfaction…

Artificial Intelligence · Computer Science 2018-05-18 Maria-Florina Balcan , Travis Dick , Tuomas Sandholm , Ellen Vitercik

A significant problem with most functional data analyses is that of misaligned curves. Without adjustment, even an analysis as simple as estimation of the mean will fail. One common method to synchronize a set of curves involves equating…

Applications · Statistics 2007-12-18 Gareth M. James

This paper primarily demonstrates a method to quantitatively assess the alignment between multi-step, structured reasoning in large language models and human preferences. We introduce the Alignment Score, a semantic-level metric that…

Artificial Intelligence · Computer Science 2026-04-22 Boxuan Wang , Zhuoyun Li , Xinmiao Huang , Xiaowei Huang , Yi Dong

Within machine learning, the supervised learning field aims at modeling the input-output relationship of a system, from past observations of its behavior. Decision trees characterize the input-output relationship through a series of nested…

Machine Learning · Statistics 2019-05-20 Arnaud Joly

Process mining provides ways to analyze business processes. Common process mining techniques consider the process as a whole. However, in real-life business processes, different behaviors exist that make the overall process too complex to…

Databases · Computer Science 2021-03-15 Anahita Farhang Ghahfarokhi , Alessandro Berti , Wil M. P. van der Aalst

In this paper, we address the problem of identifying protein functionality using the information contained in its aminoacid sequence. We propose a method to define sequence similarity relationships that can be used as input for…

Applications · Statistics 2007-11-12 A. G. Flesia , R. Fraiman , F. G. Leonardi

Finding an optimal assignment between two sets of objects is a fundamental problem arising in many applications, including the matching of `bag-of-words' representations in natural language processing and computer vision. Solving the…

Machine Learning · Computer Science 2019-09-12 Nils M. Kriege , Pierre-Louis Giscard , Franka Bause , Richard C. Wilson

Interpretability is crucial for doctors, hospitals, pharmaceutical companies and biotechnology corporations to analyze and make decisions for high stakes problems that involve human health. Tree-based methods have been widely adopted for…

Machine Learning · Computer Science 2024-05-24 Rui Zhang , Rui Xin , Margo Seltzer , Cynthia Rudin

We consider the problem of learning a non-deterministic probabilistic system consistent with a given finite set of positive and negative tree samples. Consistency is defined with respect to strong simulation conformance. We propose learning…

Logic in Computer Science · Computer Science 2012-07-24 Anvesh Komuravelli , Corina S. Pasareanu , Edmund M. Clarke