English
Related papers

Related papers: Improved Conflict Detection for Graph Transformati…

200 papers

This paper proposes a way to effectively compare the potential of processes to cause conflict. In discrete event systems theory, two concurrent systems are said to be in conflict if they can get trapped in a situation where they are both…

Formal Languages and Automata Theory · Computer Science 2011-08-02 Simon Ware , Robi Malik

Fraud detection problems are usually formulated as a machine learning problem on a graph. Recently, Graph Neural Networks (GNNs) have shown solid performance on fraud detection. The successes of most previous methods heavily rely on rich…

Machine Learning · Computer Science 2021-10-05 Chen Wang , Yingtong Dou , Min Chen , Jia Chen , Zhiwei Liu , Philip S. Yu

A fundamental problem in network experiments is selecting an appropriate experimental design in order to precisely estimate a given causal effect of interest. In this work, we propose the Conflict Graph Design, a general approach for…

Methodology · Statistics 2026-01-14 Vardis Kandiros , Charilaos Pipis , Constantinos Daskalakis , Christopher Harshaw

Graph classification has practical applications in diverse fields. Recent studies show that graph-based machine learning models are especially vulnerable to adversarial perturbations due to the non i.i.d nature of graph data. By adding or…

Machine Learning · Computer Science 2020-09-15 Zhidong Gao , Rui Hu , Yanmin Gong

Graph Generating Dependencies (GGDs) informally express constraints between two (possibly different) graph patterns which enforce relationships on both graph's data (via property value constraints) and its structure (via topological…

Databases · Computer Science 2022-11-02 Larissa C. Shimomura , Nikolay Yakovets , George Fletcher

Graph based entropy, an index of the diversity of events in their distribution to parts of a co-occurrence graph, is proposed for detecting signs of structural changes in the data that are informative in explaining latent dynamics of…

Social and Information Networks · Computer Science 2019-05-03 Yukio Ohsawa

Graphs may be used to represent many different problem domains -- a concrete example is that of detecting communities in social networks, which are represented as graphs. With big data and more sophisticated applications becoming widespread…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-04-03 Miguel E. Coimbra , Alexandre P. Francisco , Luis Veiga

A path $P$ in an edge-colored graph is called \emph{a conflict-free path} if there exists a color used on only one of the edges of $P$. An edge-colored graph $G$ is called \emph{conflict-free connected} if for each pair of distinct vertices…

Combinatorics · Mathematics 2019-01-25 Meng Ji , Xueliang Li

A conflict graph represents logical relations between binary variables, and effective use of the graph can significantly accelerate branch-and-cut solvers for mixed-integer programming (MIP). In this paper we develop efficient parallel…

Optimization and Control · Mathematics 2025-06-18 Yongzheng Dai , Chen Chen

How can we detect traffic disturbances from international flight transportation logs or changes to collaboration dynamics in academic networks? These problems can be formulated as detecting anomalous change points in a dynamic graph.…

Machine Learning · Computer Science 2023-05-16 Shenyang Huang , Jacob Danovitch , Guillaume Rabusseau , Reihaneh Rabbany

As Large Language Models (LLMs) become more powerful and autonomous, they increasingly face conflicts and dilemmas in many scenarios. We first summarize and taxonomize these diverse conflicts. Then, we model the LLM's preferences to make…

Artificial Intelligence · Computer Science 2026-03-17 Zhenheng Tang , Xiang Liu , Qian Wang , Eunsol Choi , Bo Li , Xiaowen Chu

The explosion of data available in life sciences is fueling an increasing demand for expressive models and computational methods. Graph transformation is a model for dynamic systems with a large variety of applications. We introduce a novel…

Graph transformation formalisms have proven to be suitable tools for the modelling of chemical reactions. They are well established in theoretical studies and increasingly also in practical applications in chemistry. The latter is made…

Discrete Mathematics · Computer Science 2022-08-29 Jakob L. Andersen , Rolf Fagerberg , Juri Kolčák , Christophe V. F. P. Laurent , Daniel Merkle , Nikolai Nøjgaard

Graph signal processing (GSP) is a key tool for satisfying the growing demand for information processing over networks. However, the success of GSP in downstream learning and inference tasks is heavily dependent on the prior identification…

Signal Processing · Electrical Eng. & Systems 2021-03-29 Seyed Saman Saboksayr , Gonzalo Mateos , Mujdat Cetin

We present a system for object recognition based on a semantic graph representation, which the system can learn from image examples. This graph is based on intrinsic properties of objects such as structure and geometry, so it is more robust…

Computer Vision and Pattern Recognition · Computer Science 2020-05-01 Isaac Weiss

In this paper, we study a declarative framework for specifying transformations of property graphs. In order to express such transformations, we leverage queries formulated in the Graph Pattern Calculus (GPC), which is an abstraction of the…

Databases · Computer Science 2024-06-21 Angela Bonifati , Filip Murlak , Yann Ramusat

In this paper, we study the \textit{graph condensation} problem by compressing the large, complex graph into a concise, synthetic representation that preserves the most essential and discriminative information of structure and features. We…

Machine Learning · Computer Science 2023-11-28 Xinglin Li , Kun Wang , Hanhui Deng , Yuxuan Liang , Di Wu

Graph translation is very promising research direction and has a wide range of potential real-world applications. Graph is a natural structure for representing relationship and interactions, and its translation can encode the intrinsic…

Machine Learning · Computer Science 2021-03-17 Tianxiang Zhao , Xianfeng Tang , Xiang Zhang , Suhang Wang

We study the graphs formed from instances of the stable matching problem by connecting pairs of elements with an edge when there exists a stable matching in which they are matched. Our results include the NP-completeness of recognizing…

Discrete Mathematics · Computer Science 2020-10-20 David Eppstein

Coalition formation over graphs is a well studied class of games whose players are vertices and feasible coalitions must be connected subgraphs. In this setting, the existence and computation of equilibria, under various notions of…

Computer Science and Game Theory · Computer Science 2024-08-22 Angelo Fanelli , Laurent Gourvès , Ayumi Igarashi , Luca Moscardelli