English
Related papers

Related papers: A Foundation for Functional Graph Programs: The Gr…

200 papers

Modern software systems increasingly incorporate self-* behavior to adapt to changes in the environment at runtime. Such adaptations often involve reconfiguring the software architecture of the system. Many systems also need to manage their…

Artificial Intelligence · Computer Science 2014-07-31 Steffen Ziegert

A foundation model like GPT elicits many emergent abilities, owing to the pre-training with broad inclusion of data and the use of the powerful Transformer architecture. While foundation models in natural languages are prevalent, can we…

Machine Learning · Computer Science 2025-06-18 Ziyuan Tang , Jie Chen

Many graph algorithms can be viewed as sets of rules that are iteratively applied, with the number of iterations dependent on the size and complexity of the input graph. Existing machine learning architectures often struggle to represent…

Artificial Intelligence · Computer Science 2024-08-21 Florian Grötschla , Joël Mathys , Christoffer Raun , Roger Wattenhofer

Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, cover- ing areas as diverse as refactorings, network topologies or reconfigurable software. Being a formal method,…

Programming Languages · Computer Science 2015-03-17 Dominik Steenken , Heike Wehrheim , Daniel Wonisch

Inspired by the success of foundation models in applications such as ChatGPT, as graph data has been ubiquitous, one can envision the far-reaching impacts that can be brought by Graph Foundation Models (GFMs) with broader applications in…

Machine Learning · Computer Science 2024-11-12 Zehong Wang , Zheyuan Zhang , Nitesh V Chawla , Chuxu Zhang , Yanfang Ye

Graph-Rewriting Automata (GRA) are an extension of Cellular Automata to a dynamic structure using local graph-rewriting rules. This work introduces linear algebra based tools that allow for a practical investigation of their behavior in…

Dynamical Systems · Mathematics 2025-11-11 Paul Cousin , Aude Maignan

Graph Transformers (GTs) have demonstrated a strong capability in modeling graph structures by addressing the intrinsic limitations of graph neural networks (GNNs), such as over-smoothing and over-squashing. Recent studies have proposed…

Machine Learning · Computer Science 2025-02-28 Chaohao Yuan , Kangfei Zhao , Ercan Engin Kuruoglu , Liang Wang , Tingyang Xu , Wenbing Huang , Deli Zhao , Hong Cheng , Yu Rong

Graph-structured data is ubiquitous in the world which models complex relationships between objects, enabling various Web applications. Daily influxes of unlabeled graph data on the Web offer immense potential for these applications. Graph…

Machine Learning · Computer Science 2024-03-12 Yun Zhu , Yaoke Wang , Haizhou Shi , Zhenshuo Zhang , Dian Jiao , Siliang Tang

Processing, managing, and analyzing dynamic graphs are the cornerstone in multiple application domains including fraud detection, recommendation system, graph neural network training, etc. This demo presents GTX, a latch-free…

Databases · Computer Science 2024-05-03 Libin Zhou , Walid Aref

Foundation models are pretrained on large-scale corpora to learn generalizable patterns across domains and tasks -- such as contours, textures, and edges in images, or tokens and sentences in text. In contrast, discovering such generalities…

Machine Learning · Computer Science 2025-05-27 Zehong Wang , Zheyuan Zhang , Tianyi Ma , Nitesh V Chawla , Chuxu Zhang , Yanfang Ye

Graph-based modeling plays a fundamental role in many areas of computer science. In this paper, we introduce systems of graph formulas with variables for specifying graph properties; this notion generalizes the graph formulas introduced in…

Formal Languages and Automata Theory · Computer Science 2026-01-23 Frank Drewes , Berthold Hoffmann , Mark Minas

Graphical Transformation Models (GTMs) are introduced as a novel approach to effectively model multivariate data with intricate marginals and complex dependency structures semiparametrically, while maintaining interpretability through the…

Methodology · Statistics 2025-08-28 Matthias Herp , Johannes Brachem , Michael Altenbuchinger , Thomas Kneib

Communication networks form the backbone of our society. Topology control algorithms optimize the topology of such communication networks. Due to the importance of communication networks, a topology control algorithm should guarantee…

Software Engineering · Computer Science 2018-05-10 Roland Kluge , Michael Stein , Gergely Varró , Andy Schürr , Matthias Hollick , Max Mühlhäuser

This paper presents a novel graph-based method for adapting control system architectures at runtime. We use a service-oriented architecture as a basis for its formulation. In our method, adaptation is achieved by selecting the most suitable…

Systems and Control · Electrical Eng. & Systems 2024-11-28 Julius Beerwerth , Hazem Ibrahim , Bianca Atodiresei , Lorenz Dörschel , Bassam Alrifaee

Cellular automata (CA) are a class of computational models that exhibit rich dynamics emerging from the local interaction of cells arranged in a regular lattice. In this work we focus on a generalised version of typical CA, called graph…

Machine Learning · Computer Science 2021-10-28 Daniele Grattarola , Lorenzo Livi , Cesare Alippi

Graph transformation systems (GTS) and constraint handling rules (CHR) are non-deterministic rule-based state transition systems. CHR is well-known for its powerful confluence and program equivalence analyses, for which we provide the basis…

Logic in Computer Science · Computer Science 2010-06-16 Frank Raiser , Thom Frühwirth

A variety of modeling frameworks have been proposed and utilized in complex systems studies, including dynamical systems models that describe state transitions on a system of fixed topology, and self-organizing network models that describe…

Adaptation and Self-Organizing Systems · Physics 2009-01-05 Hiroki Sayama , Craig Laramee

Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems,…

Formal Languages and Automata Theory · Computer Science 2019-09-05 Lorenzo Capra

Graph spectral representations are fundamental in graph signal processing, offering a rigorous framework for analyzing and processing graph-structured data. The graph fractional Fourier transform (GFRFT) extends the classical graph Fourier…

Machine Learning · Statistics 2025-11-21 Feiyue Zhao , Yangfan He , Zhichao Zhang

Existing efforts are dedicated to designing many topologies and graph-aware strategies for the graph Transformer, which greatly improve the model's representation capabilities. However, manually determining the suitable Transformer…

Neural and Evolutionary Computing · Computer Science 2024-10-24 Chao Wang , Jiaxuan Zhao , Lingling Li , Licheng Jiao , Fang Liu , Shuyuan Yang
‹ Prev 1 2 3 10 Next ›