English
Related papers

Related papers: Efficient Checking of Timed Order Compliance Rules…

200 papers

The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware process mining…

Formal Languages and Automata Theory · Computer Science 2022-10-28 Neha Rino , Thomas Chatain

For a deep learning model, efficient execution of its computation graph is key to achieving high performance. Previous work has focused on improving the performance for individual nodes of the computation graph, while ignoring the…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-26 Linpeng Tang , Yida Wang , Theodore L. Willke , Kai Li

We address the problem of computing the distribution of induced connected subgraphs, aka \emph{graphlets} or \emph{motifs}, in large graphs. The current state-of-the-art algorithms estimate the motif counts via uniform sampling, by…

Data Structures and Algorithms · Computer Science 2021-07-20 Marco Bressan , Stefano Leucci , Alessandro Panconesi

Tackling molecular optimization problems using conventional computational methods is challenging, because the determination of the optimized configuration is known to be an NP-hard problem. Recently, there has been increasing interest in…

Applied Physics · Physics 2021-08-24 Eshan Joshi , Samuel Somuyiwa , Hossein Z. Jooya

Microservice systems expose rich telemetry streams, including metrics, logs, and distributed traces. Existing performance anomaly detection methods increasingly model these systems as graphs, where nodes represent services and edges…

Software Engineering · Computer Science 2026-05-26 Yunjian Ma

In the era of graph-based retrieval-augmented generation (RAG), link prediction is a significant preprocessing step for improving the quality of fragmented or incomplete domain-specific data for the graph retrieval. Knowledge management in…

Computation and Language · Computer Science 2026-03-31 Anastasia Zhukova , Thomas Walton , Christian E. Lobmüller , Bela Gipp

Many graph problems can be solved using ordered parallel graph algorithms that achieve significant speedup over their unordered counterparts by reducing redundant work. This paper introduces a new priority-based extension to GraphIt, a…

Programming Languages · Computer Science 2020-01-28 Yunming Zhang , Ajay Brahmakshatriya , Xinyi Chen , Laxman Dhulipala , Shoaib Kamil , Saman Amarasinghe , Julian Shun

Graph embedding algorithms are used to efficiently represent (encode) a graph in a low-dimensional continuous vector space that preserves the most important properties of the graph. One aspect that is often overlooked is whether the graph…

Machine Learning · Computer Science 2020-01-31 Zekarias T. Kefato , Nasrullah Sheikh , Alberto Montresor

Process mining analyzes and improves processes by examining transactional data stored in event logs, which record sequences of events with timestamps. However, the effectiveness of process mining, especially when combined with machine or…

Databases · Computer Science 2025-11-05 Alessandro Padella , Francesco Vinci , Massimiliano de Leoni

Answering complex logical queries on incomplete knowledge graphs is a challenging task, and has been widely studied. Embedding-based methods require training on complex queries, and cannot generalize well to out-of-distribution query…

Machine Learning · Computer Science 2023-06-08 Yushi Bai , Xin Lv , Juanzi Li , Lei Hou

Location-based alerts have gained increasing popularity in recent years, whether in the context of healthcare (e.g., COVID-19 contact tracing), marketing (e.g., location-based advertising), or public safety. However, serious privacy…

Cryptography and Security · Computer Science 2023-01-18 Sina Shaham , Gabriel Ghinita , Cyrus Shahabi

This paper presents a real-time transaction monitoring framework that integrates graph-based modeling, narrative field embedding, and generative explanation to support automated financial compliance. The system constructs dynamic…

Artificial Intelligence · Computer Science 2025-06-03 Kunal Khanvilkar , Kranthi Kommuru

Streaming applications from algorithmic trading to traffic management deploy Kleene patterns to detect and aggregate arbitrarily-long event sequences, called event trends. State-of-the-art systems process such queries in two steps. Namely,…

Data Structures and Algorithms · Computer Science 2020-10-08 Olga Poppe , Chuan Lei , Elke A. Rundensteiner , David Maier

Pattern matching is a fundamental tool for answering complex graph queries. Unfortunately, existing solutions have limited capabilities: they do not scale to process large graphs and/or support only a restricted set of search templates or…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-22 Tahsin Reza , Hassan Halawa , Matei Ripeanu , Geoffrey Sanders , Roger Pearce

The architecture, engineering and construction (AEC) sector extensively uses documents supporting product and process development. As part of this, organisations should handle big data of hundreds, or even thousands, of technical documents…

Graph-structured data is ubiquitous in practice and often processed using graph neural networks (GNNs). With the adoption of recent laws ensuring the ``right to be forgotten'', the problem of graph data removal has become of significant…

Machine Learning · Computer Science 2022-11-01 Eli Chien , Chao Pan , Olgica Milenkovic

Graph pattern matching is a fundamental operation for the analysis and exploration ofdata graphs. In thispaper, we presenta novel approachfor efficiently finding homomorphic matches for hybrid graph patterns, where each pattern edge may be…

Databases · Computer Science 2022-09-29 Xiaoying Wu , Dimitri Theodoratos , Nikos Mamoulis , Michael Lan

Graphs, consisting of vertices and edges, are vital for representing complex relationships in fields like social networks, finance, and blockchain. Visualizing these graphs helps analysts identify structural patterns, with readability…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-18 Sanggeon Yun

Logs play a crucial role in system monitoring and debugging by recording valuable system information, including events and states. Although various methods have been proposed to detect anomalies in log sequences, they often overlook the…

Machine Learning · Computer Science 2023-09-13 Yufei Li , Yanchi Liu , Haoyu Wang , Zhengzhang Chen , Wei Cheng , Yuncong Chen , Wenchao Yu , Haifeng Chen , Cong Liu

Transaction graphs, which represent financial and trade transactions between entities such as bank accounts and companies, can reveal patterns indicative of financial crimes like money laundering and fraud. However, effective detection of…

Machine Learning · Computer Science 2025-03-24 Steve Gounoue , Ashutosh Sao , Simon Gottschalk
‹ Prev 1 4 5 6 7 8 10 Next ›