English
Related papers

Related papers: Discovering Relaxed Sound Workflow Nets using Inte…

200 papers

Nowadays refinery optimization utilizes sheer amounts of data, which can be handled with modern Linear Programming (LP) software, but the interpreting and applying the results remains challenging. Large petrochemical companies use massive…

Inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for a hypothesis that generalises training examples and background knowledge. We introduce an approach that 'shrinks' the…

Artificial Intelligence · Computer Science 2026-05-18 Andrew Cropper , Filipe Gouveia , David M. Cerna

Data citations provide a foundation for studying research data impact. Collecting and managing data citations is a new frontier in archival science and scholarly communication. However, the discovery and curation of research data citations…

Digital Libraries · Computer Science 2022-03-11 Lizhou Fan , Sara Lafia , David Bleckley , Elizabeth Moss , Andrea Thomer , Libby Hemphill

Machine learning has become a central research area, with increasing attention devoted to explainable clustering, also known as conceptual clustering, which is a knowledge-driven unsupervised learning paradigm that partitions data into…

Artificial Intelligence · Computer Science 2026-04-15 Motaz Ben Hassine , Saïd Jabbour

This paper presents an approach to model an unknown Ladder Logic based Programmable Logic Controller (PLC) program consisting of Boolean logic and counters using Process Mining techniques. First, we tap the inputs and outputs of a PLC to…

Systems and Control · Computer Science 2019-09-24 Julian Theis , Ilia Mokhtarian , Houshang Darabi

Model checkers and consistency checkers detect critical errors in router configurations, but these tools require significant manual effort to develop and maintain. LLM-based Q&A models have emerged as a promising alternative, allowing users…

Networking and Internet Architecture · Computer Science 2024-11-22 Xi Jiang , Aaron Gember-Jacobson , Nick Feamster

Numerous real-world decision-making problems can be formulated and solved using Mixed-Integer Linear Programming (MILP) models. However, the transformation of these problems into MILP models heavily relies on expertise in operations…

Optimization and Control · Mathematics 2023-11-28 Qingyang Li , Lele Zhang , Vicky Mak-Hau

Mixed Integer Linear Programs (MILP) are well known to be NP-hard (Non-deterministic Polynomial-time hard) problems in general. Even though pure optimization-based methods, such as constraint generation, are guaranteed to provide an optimal…

Optimization and Control · Mathematics 2022-07-18 Asunción Jiménez-Cordero , Juan Miguel Morales , Salvador Pineda

Tensor program tuning is a non-convex objective optimization problem, to which search-based approaches have proven to be effective. At the core of the search-based approaches lies the design of the cost model. Though deep learning-based…

Machine Learning · Computer Science 2022-11-23 Yi Zhai , Yu Zhang , Shuo Liu , Xiaomeng Chu , Jie Peng , Jianmin Ji , Yanyong Zhang

Anomaly-based Intrusion Detection Systems (IDSs) ensure protection against malicious attacks on networked systems. While deep learning-based IDSs achieve effective performance, their limited trustworthiness due to black-box architectures…

Cryptography and Security · Computer Science 2026-04-21 Francesco Vitale , Francesco Grimaldi , Massimiliano Rak , Nicola Mazzocca

The Alpha algorithm was the first process discovery algorithm that was able to discover process models with concurrency based on incomplete event data while still providing formal guarantees. However, as was stated in the original paper,…

Databases · Computer Science 2023-10-04 Aaron Küsters , Wil M. P. van der Aalst

Directly solving large-scale Integer Linear Programs (ILPs) using traditional solvers is slow due to their NP-hard nature. While recent frameworks based on Large Neighborhood Search (LNS) can accelerate the solving process, their…

Machine Learning · Computer Science 2025-09-23 Ning Xu , Junkai Zhang , Yang Wu , Huigen Ye , Hua Xu , Huiling Xu , Yifan Zhang

Process Mining consists of techniques where logs created by operative systems are transformed into process models. In process mining tools it is often desired to be able to classify ongoing process instances, e.g., to predict how long the…

Machine Learning · Computer Science 2019-02-05 Markku Hinkka , Teemu Lehto , Keijo Heljanko , Alexander Jung

Within Process mining, discovery techniques had made it possible to construct business process models automatically from event logs. However, results often do not achieve the balance between model complexity and its fitting accuracy, so…

Artificial Intelligence · Computer Science 2023-01-18 Liubov O. Elkhovskaya , Alexander D. Kshenin , Marina A. Balakhontceva , Sergey V. Kovalchuk

One of the most valuable assets of an organization is its organizational data. The analysis and mining of this potential hidden treasure can lead to much added-value for the organization. Process mining is an emerging area that can be…

Software Engineering · Computer Science 2016-07-05 Asef Pourmasoumi , Ebrahim Bagheri

Workflow technology is widely used to facilitate the business process in enterprise information systems (EIS), and it has the potential to reduce design time, enhance product quality and decrease product cost. However, significant…

Software Engineering · Computer Science 2012-09-19 Tingyu Liu , Yalong Cheng , Zhonghua Ni

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…

Databases · Computer Science 2024-07-03 Pierre Cry , András Horváth , Paolo Ballarini , Pascal Le Gall

Process model extraction (PME) is a recently emerged interdiscipline between natural language processing (NLP) and business process management (BPM), which aims to extract process models from textual descriptions. Previous process…

Computation and Language · Computer Science 2020-03-23 Chen Qian , Lijie Wen , Akhil Kumar , Leilei Lin , Li Lin , Zan Zong , Shuang Li , Jianmin Wang

This paper takes an empirical look at asymptotic runtime growth rates for the most widely used algorithms for solving linear programming (LP) problems across a set of six optimization application areas that are known to produce large and…

Optimization and Control · Mathematics 2026-04-20 Edward Rothberg

In this paper, we consider the naive applications of process mining in network traffic comprehension, traffic anomaly detection, and intrusion detection. We standardise the procedure of transforming packet data into an event log. We mine…

Cryptography and Security · Computer Science 2022-06-22 Yinzheng Zhong , Alexei Lisitsa
‹ Prev 1 4 5 6 7 8 10 Next ›