English
Related papers

Related papers: Graph Rewriting and Relabeling with PBPO+

200 papers

Graph analytics power a range of applications in areas as diverse as finance, networking and business logistics. A common property of graphs used in the domain of graph analytics is a power-law distribution of vertex connectivity, wherein a…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-29 Priyank Faldu , Jeff Diamond , Boris Grot

We propose a new framework, called Poisson learning, for graph based semi-supervised learning at very low label rates. Poisson learning is motivated by the need to address the degeneracy of Laplacian semi-supervised learning in this regime.…

Machine Learning · Computer Science 2020-08-17 Jeff Calder , Brendan Cook , Matthew Thorpe , Dejan Slepcev

We tackle the problem of graph transformation with a particular focus on node cloning. We propose a new approach to graph rewriting where nodes can be cloned zero, one or more times. A node can be cloned together with all its incident…

Logic in Computer Science · Computer Science 2012-04-25 Dominique Duval , Rachid Echahed , Frédéric Prost

Many scientific datasets are of high dimension, and the analysis usually requires visual manipulation by retaining the most important structures of data. Principal curve is a widely used approach for this purpose. However, many existing…

Artificial Intelligence · Computer Science 2016-01-19 Qi Mao , Li Wang , Ivor W. Tsang , Yijun Sun

A theory is developed which uses "networks" (directed acyclic graphs with some extra structure) as a formalism for expressions in multilinear algebra. It is shown that this formalism is valid for arbitrary PROPs (short for 'PROducts and…

Rings and Algebras · Mathematics 2012-04-12 Lars Hellström

String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric…

Category Theory · Mathematics 2014-04-02 Aleks Kissinger , Alex Merry , Matvey Soloviev

We introduce an intuitive algorithmic methodology for enacting automated rewriting of string diagrams within a general double-pushout (DPO) framework, in which the sequence of rewrites is chosen in accordance with the causal structure of…

Logic in Computer Science · Computer Science 2021-05-11 Jonathan Gorard , Manojna Namuduri , Xerxes D. Arsiwalla

Higher-order pushdown systems and ground tree rewriting systems can be seen as extensions of suffix word rewriting systems. Both classes generate infinite graphs with interesting logical properties. Indeed, the model-checking problem for…

Formal Languages and Automata Theory · Computer Science 2015-02-17 Vincent Penelle

The CLIP model has established itself as a cornerstone of large-scale retrieval systems. However, its performance often degrades under distributional shifts such as multilingual, long-form, or multimodal queries. To avoid the prohibitive…

Computer Vision and Pattern Recognition · Computer Science 2026-05-11 Zhaohua Zhang , Jianhuan Zhuo , Muxi Chen , Chenchen Zhao , Wenyu Jiang , Tianwen Jiang , Mingyang Chen , Yutang , Qiuyong Xiao , Jihong Zhang , Zhixun Su

The pebble-motion on graphs is a subcategory of multi-agent pathfinding problems dealing with moving multiple pebble-like objects from a node to a node in a graph with a constraint that only one pebble can occupy one node at a given time.…

Robotics · Computer Science 2020-07-21 Miroslav Kulich , Tomáš Novák , Libor Přeucil

In this extended abstract, we present a simple approach to convergence on term graphs that allows us to unify term graph rewriting and infinitary term rewriting. This approach is based on a partial order and a metric on term graphs. These…

Logic in Computer Science · Computer Science 2013-02-27 Patrick Bahr

Given a collection of vertex-aligned networks and an additional label-shuffled network, we propose procedures for leveraging the signal in the vertex-aligned collection to recover the labels of the shuffled network. We consider matching the…

Machine Learning · Statistics 2023-03-31 Zhirui Li , Jesus Arroyo , Konstantinos Pantazis , Vince Lyzinski

We refine the weighted type graph technique for proving termination of double pushout (DPO) graph transformation systems. We increase the power of the approach for graphs, we generalize the technique to other categories, and we allow for…

Logic in Computer Science · Computer Science 2026-03-11 Jörg Endrullis , Roy Overbeek

Graph pattern matching is a routine process for a wide variety of applications such as social network analysis. It is typically defined in terms of subgraph isomorphism which is NP-Complete. To lower its complexity, many extensions of graph…

Databases · Computer Science 2018-04-13 Houari Mahfoud

Given graphs as input, Graph Neural Networks (GNNs) support the inference of nodes, edges, attributes, or graph properties. Graph Rewriting investigates the rule-based manipulation of graphs to model complex graph transformations. We…

Machine Learning · Computer Science 2023-05-31 Adam Machowczyk , Reiko Heckel

Graph embedding methods produce unsupervised node features from graphs that can then be used for a variety of machine learning tasks. Modern graphs, particularly in industrial applications, contain billions of nodes and trillions of edges,…

Machine Learning · Computer Science 2019-12-05 Adam Lerer , Ledell Wu , Jiajun Shen , Timothee Lacroix , Luca Wehrstedt , Abhijit Bose , Alex Peysakhovich

Label smoothing is a widely studied regularization technique in machine learning. However, its potential for node classification in graph-structured data, spanning homophilic to heterophilic graphs, remains largely unexplored. We introduce…

Machine Learning · Computer Science 2026-02-02 Jaeseung Heo , Moonjeong Park , Dongwoo Kim

Typical graph embeddings may not capture type-specific bipartite graph features that arise in such areas as recommender systems, data visualization, and drug discovery. Machine learning methods utilized in these applications would be better…

Machine Learning · Computer Science 2020-07-24 Justin Sybrandt , Ilya Safro

In this research, we improve upon the current state of the art in entity retrieval by re-ranking the result list using graph embeddings. The paper shows that graph embeddings are useful for entity-oriented search tasks. We demonstrate…

Information Retrieval · Computer Science 2020-05-07 Emma J. Gerritse , Faegheh Hasibi , Arjen P. de Vries

In this paper, we extend the ideas of graph pebbling to oriented graphs and find a classification for all graphs with fully traversable pebbling assignments that are isomorphic to their assignment graph. We then give some cases in which a…

Combinatorics · Mathematics 2022-03-02 Jared Glassband , Garrison Koch , Sophia Lebiere , Xufei Liu , Evan Sabini