English
Related papers

Related papers: Benchmarks of Extended Basis Reachability Graphs

200 papers

In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG). Non-blockingness is a property that ensures that all pre-specified tasks can be completed, which is a mandatory…

Systems and Control · Electrical Eng. & Systems 2021-06-15 Chao Gu , Ziyue Ma , Zhiwu Li , Alessandro Giua

We survey graph reachability indexing techniques for efficient processing of graph reachability queries in two types of popular graph models: plain graphs and edge-labeled graphs. Reachability queries are Boolean in nature, determining…

Databases · Computer Science 2025-07-01 Chao Zhang , Angela Bonifati , M. Tamer Özsu

Given a data graph G, a source vertex u and a target vertex v of a reachability query, the reachability query is used to answer whether there exists a path from u to v in G. Reachability query processing is one of the fundamental operations…

Databases · Computer Science 2024-10-08 Congquan Mei , Lian Chen , Junfeng Zhou , Ming Du , Sheng Yu , Xian Tang , Ziyang Chen

A prominent application of knowledge graph (KG) is document enrichment. Existing methods identify mentions of entities in a background KG and enrich documents with entity types and direct relations. We compute an entity relation subgraph…

Artificial Intelligence · Computer Science 2020-05-12 Shuxin Li , Zixian Huang , Gong Cheng , Evgeny Kharlamov , Kalpa Gunaratna

We present the implementation of an algorithm for graph isomorphism testing, based on ideas about number of walks (of sufficiently large length) between vertices. The algorithm is expanded for strongly regular graphs (SRG-s) by testing the…

Combinatorics · Mathematics 2007-05-23 Michal Kaukic

As interconnected systems proliferate, safeguarding complex infrastructures against an escalating array of cyber threats has become an urgent challenge. The increasing number of vulnerabilities, combined with resource constraints, makes…

Cryptography and Security · Computer Science 2025-02-18 Yuning Jiang , Nay Oo , Qiaoran Meng , Hoon Wei Lim , Biplab Sikdar

Since knowledge graphs (KGs) describe and model the relationships between entities and concepts in the real world, reasoning on KGs often correspond to the reachability queries with label and substructure constraints (LSCR). Specially, for…

Databases · Computer Science 2020-07-24 Xiaolong Wan , Hongzhi Wang

Adversarial attacks on graphs have posed a major threat to the robustness of graph machine learning (GML) models. Naturally, there is an ever-escalating arms race between attackers and defenders. However, the strategies behind both sides…

Machine Learning · Computer Science 2021-11-09 Qinkai Zheng , Xu Zou , Yuxiao Dong , Yukuo Cen , Da Yin , Jiarong Xu , Yang Yang , Jie Tang

Exponential random graph models (ERGMs) are a widely used framework for network data, enabling hypothesis testing on the structural mechanisms underlying observed networks. Bayesian ERGMs provide principled uncertainty quantification and…

Methodology · Statistics 2026-05-26 Alberto Caimo , Isabella Gollini

Knowledge Graph-based Retrieval-Augmented Generation (KG-RAG) is an increasingly explored approach for combining the reasoning capabilities of large language models with the structured evidence of knowledge graphs. However, current…

Artificial Intelligence · Computer Science 2026-01-13 Dongzhuoran Zhou , Yuqicheng Zhu , Xiaxia Wang , Hongkuan Zhou , Yuan He , Jiaoyan Chen , Steffen Staab , Evgeny Kharlamov

Entity Resolution (ER) is a constitutional part for integrating different knowledge graphs in order to identify entities referring to the same real-world object. A promising approach is the use of graph embeddings for ER in order to…

Machine Learning · Computer Science 2021-01-18 Daniel Obraczka , Jonathan Schuchart , Erhard Rahm

One of the most fundamental problems in computer science is the reachability problem: Given a directed graph and two vertices s and t, can s reach t via a path? We revisit existing techniques and combine them with new approaches to support…

Data Structures and Algorithms · Computer Science 2021-02-02 Kathrin Hanauer , Christian Schulz , Jonathan Trummer

An important challenge in the field of exponential random graphs (ERGs) is the fitting of non-trivial ERGs on large graphs. By utilizing fast matrix block-approximation techniques, we propose an approximative framework to such non-trivial…

Social and Information Networks · Computer Science 2022-02-02 Florian Adriaens , Alexandru Mara , Jefrey Lijffijt , Tijl De Bie

A temporal graph $\mathcal{G}=(G,\lambda)$ can be represented by an underlying graph $G=(V,E)$ together with a function $\lambda$ that assigns to each edge $e\in E$ the set of time steps during which $e$ is present. The reachability graph…

Computational Complexity · Computer Science 2025-03-21 Thomas Erlebach , Othon Michail , Nils Morawietz

Enumerating maximal $k$-biplexes (MBPs) of a bipartite graph has been used for applications such as fraud detection. Nevertheless, there usually exists an exponential number of MBPs, which brings up two issues when enumerating MBPs, namely…

Databases · Computer Science 2022-08-30 Kaiqiang Yu , Cheng Long

The goal of this paper is to derive the detailed description of the Enumeration Based Search Algorithm from the high level description provided in [16], analyze the experimental results from our implementation of the Enumeration Based…

Discrete Mathematics · Computer Science 2013-02-26 Vivek S Nittoor , Reiji Suda

Graph-based RAG methods like GraphRAG have shown promising global understanding of the knowledge base by constructing hierarchical entity graphs. However, they often suffer from inefficiency and rely on manually pre-defined query modes,…

Artificial Intelligence · Computer Science 2025-06-09 Yibo Zhao , Jiapeng Zhu , Ye Guo , Kangkang He , Xiang Li

Autonomous exploration of multi-floor buildings remains challenging for ground robots because conventional 2D and 2.5D maps cannot represent overlapping traversable surfaces such as stairs, ramps, and multiple reachable elevations. This…

Robotics · Computer Science 2026-05-25 Zhiwen Zhu , Jiaqi Chen , Xiangyi Huang , Meiqi Hu , Boyu Zhou

In the real world a graph is often fragmented and distributed across different sites. This highlights the need for evaluating queries on distributed graphs. This paper proposes distributed evaluation algorithms for three classes of queries:…

Databases · Computer Science 2012-08-02 Wenfei Fan , Xin Wang , Yinghui Wu

Similarity search is a fundamental building block for information retrieval on a variety of datasets. The notion of a neighbor is often based on binary considerations, such as the k nearest neighbors. However, considering that data is often…

Information Retrieval · Computer Science 2022-08-23 Cole Foster , Berk Sevilmis , Benjamin Kimia
‹ Prev 1 2 3 10 Next ›