English
Related papers

Related papers: Simple, Fast, and Scalable Reachability Oracle

200 papers

Graph partitioning has long been seen as a viable approach to address Graph DBMS scalability. A partitioning, however, may introduce extra query processing latency unless it is sensitive to a specific query workload, and optimised to…

Databases · Computer Science 2016-06-24 Hugo Firth , Paolo Missier

While there is a drastic shift from host-centric networking to content-centric networking, how to locate and retrieve the relevant content efficiently, especially in a mobile network, is still an open question. Mobile devices host…

Networking and Internet Architecture · Computer Science 2015-11-17 Suzan Bayhan , Esa Hyytiä , Jussi Kangasharju , Jörg Ott

A temporal graph is a graph in which edges are assigned a time label. Two nodes u and v of a temporal graph are connected one to the other if there exists a path from u to v with increasing edge time labels. We consider the problem of…

Data Structures and Algorithms · Computer Science 2023-04-04 Alkida Balliu , Filippo Brunelli , Pierluigi Crescenzi , Dennis Olivetti , Laurent Viennot

Reachability analysis is a powerful tool for computing the set of states or outputs reachable for a system. While previous work has focused on systems described by state-space models, we present the first methods to compute reachable sets…

Systems and Control · Electrical Eng. & Systems 2023-09-29 Laura Lützow , Matthias Althoff

Comparability graphs are the undirected graphs whose edges can be directed so that the resulting directed graph is transitive. They are related to posets and have applications in scheduling theory. This paper considers the problem of…

Data Structures and Algorithms · Computer Science 2015-03-11 Marc Tedder

While existing hierarchical text classification (HTC) methods attempt to capture label hierarchies for model training, they either make local decisions regarding each label or completely ignore the hierarchy information during inference. To…

Information Retrieval · Computer Science 2020-06-19 Yuning Mao , Jingjing Tian , Jiawei Han , Xiang Ren

Today's blockchain landscape is severely fragmented as more and more heterogeneous blockchain platforms have been developed in recent years. These blockchain platforms are not able to interact with each other or with the outside world since…

Cryptography and Security · Computer Science 2021-11-22 Michael Sober , Giulia Scaffino , Christof Spanring , Stefan Schulte

Hierarchical classification aims to sort the object into a hierarchical structure of categories. For example, a bird can be categorized according to a three-level hierarchy of order, family, and species. Existing methods commonly address…

Computer Vision and Pattern Recognition · Computer Science 2023-11-01 Renzhen Wang , De cai , Kaiwen Xiao , Xixi Jia , Xiao Han , Deyu Meng

We study a family of reachability problems under waiting-time restrictions in temporal and vertex-colored temporal graphs. Given a temporal graph and a set of source vertices, we find the set of vertices that are reachable from a source via…

Data Structures and Algorithms · Computer Science 2024-12-04 Suhas Thejaswi , Juho Lauri , Aristides Gionis

Query workloads and database schemas in OLAP applications are becoming increasingly complex. Moreover, the queries and the schemas have to continually \textit{evolve} to address business requirements. During such repetitive transitions, the…

Databases · Computer Science 2015-03-19 Hideaki Kimura , Carleton Coffrin , Alexander Rasin , Stanley B. Zdonik

Temporal graphs represent interactions between entities over time. These interactions may be direct, a contact between two vertices at some time instant, or indirect, through sequences of contacts called journeys. Deciding whether an entity…

Data Structures and Algorithms · Computer Science 2023-06-27 Luiz F. Afra Brito , Marcelo Keese Albertini , Bruno A. N. Travençolo

Multi-label classification (MLC) refers to the problem of tagging a given instance with a set of relevant labels. Most existing MLC methods are based on the assumption that the correlation of two labels in each label pair is symmetric,…

Machine Learning · Computer Science 2024-10-04 Xingyu Zhao , Yuexuan An , Lei Qi , Xin Geng

We propose a novel hashing-based matching scheme, called Locally Optimized Hashing (LOH), based on a state-of-the-art quantization algorithm that can be used for efficient, large-scale search, recommendation, clustering, and deduplication.…

Computer Vision and Pattern Recognition · Computer Science 2016-08-02 Yannis Kalantidis , Lyndon Kennedy , Huy Nguyen , Clayton Mellina , David A. Shamma

Safe artificial intelligence for perception tasks remains a major challenge, partly due to the lack of data with high-quality labels. Annotations themselves are subject to aleatoric and epistemic uncertainty, which is typically ignored…

Machine Learning · Computer Science 2026-02-05 Jonathan Klees , Tobias Riedlinger , Peter Stehr , Bennet Böddecker , Daniel Kondermann , Matthias Rottmann

Many modern multiclass and multilabel problems are characterized by increasingly large output spaces. For these problems, label embeddings have been shown to be a useful primitive that can improve computational and statistical efficiency.…

Machine Learning · Computer Science 2015-07-07 Paul Mineiro , Nikos Karampatziakis

Prompt learning has gained significant attention as a parameter-efficient approach for adapting large pre-trained vision-language models to downstream tasks. However, when only partial labels are available, its performance is often limited…

Computer Vision and Pattern Recognition · Computer Science 2026-04-09 Yaqi Zhao , Haoliang Sun , Yating Wang , Yongshun Gong , Yilong Yin

The design and implementation of efficient concurrent data structures have seen significant attention. However, most of this work has focused on concurrent data structures providing good \emph{worst-case} guarantees. In real workloads,…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-04 Vitaly Aksenov , Dan Alistarh , Alexandra Drozdova , Amirkeivan Mohtashami

Reachability analysis of neural networks, which seeks to compute or bound the set of outputs attainable over a given input domain, is central to certifying safety and robustness in learning-enabled physical systems. Since exact reachable…

Machine Learning · Computer Science 2026-05-12 Taha Entesari , Mahyar Fazlyab

Graph algorithms applied in many applications, including social networks, communication networks, VLSI design, graphics, and several others, require dynamic modifications -- addition and removal of vertices and/or edges -- in the graph.…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-16 Bapi Chatterjee , Sathya Peri , Muktikanta Sa , Nandini Singhal

Finding the shortest-path distance between two arbitrary vertices is an important problem in road networks. Due to real-time traffic conditions, road networks undergo dynamic changes all the time. Current state-of-the-art methods…

Data Structures and Algorithms · Computer Science 2025-01-30 Henning Koehler , Muhammad Farhan , Qing Wang