English
Related papers

Related papers: GraphTrials: Visual Proofs of Graph Properties

200 papers

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

This paper addresses the challenge of viewing and navigating Bayesian networks as their structural size and complexity grow. Starting with a review of the state of the art of visualizing Bayesian networks, an area which has largely been…

Artificial Intelligence · Computer Science 2017-07-05 Clifford Champion , Charles Elkan

Graph querying is the process of retrieving information from graph data using specialized languages (e.g., Cypher), often requiring programming expertise. Visual Graph Querying (VGQ) streamlines this process by enabling users to construct…

Human-Computer Interaction · Computer Science 2025-07-17 Xiaolin Wen , Qishuang Fu , Shuangyue Han , Yichen Guo , Joseph K. Liu , Yong Wang

Visual representation learning has been a cornerstone in computer vision, involving typical forms such as visual embeddings, structural symbols, and text-based representations. Despite the success of CLIP-type visual embeddings, they often…

Computer Vision and Pattern Recognition · Computer Science 2024-06-18 Yiwu Zhong , Zi-Yuan Hu , Michael R. Lyu , Liwei Wang

Artificial intelligence (AI) has undergone a renaissance recently, making major progress in key domains such as vision, language, control, and decision-making. This has been due, in part, to cheap data and cheap compute resources, which…

We introduce graphcodes, a novel multi-scale summary of the topological properties of a dataset that is based on the well-established theory of persistent homology. Graphcodes handle datasets that are filtered along two real-valued scale…

Algebraic Topology · Mathematics 2024-05-24 Michael Kerber , Florian Russold

The robustness of a model for real-world deployment is decided by how well it performs on unseen data and distinguishes between in-domain and out-of-domain samples. Visual document classifiers have shown impressive performance on…

Computer Vision and Pattern Recognition · Computer Science 2023-05-30 Fnu Mohbat , Mohammed J. Zaki , Catherine Finegan-Dollak , Ashish Verma

Graph classification plays an important role is data mining, and various methods have been developed recently for classifying graphs. In this paper, we propose a novel method for graph classification that is based on homotopy equivalence of…

Discrete Mathematics · Computer Science 2017-07-18 Alexander V. Evako

Graph clustering, which aims to divide nodes in the graph into several distinct clusters, is a fundamental yet challenging task. Benefiting from the powerful representation capability of deep learning, deep graph clustering methods have…

Machine Learning · Computer Science 2023-09-13 Yue Liu , Jun Xia , Sihang Zhou , Xihong Yang , Ke Liang , Chenchen Fan , Yan Zhuang , Stan Z. Li , Xinwang Liu , Kunlun He

Networks or graphs are widely used across the sciences to represent relationships of many kinds. igraph (https://igraph.org) is a general-purpose software library for graph construction, analysis, and visualisation, combining fast and…

One characteristic that sets humans apart from modern learning-based computer vision algorithms is the ability to acquire knowledge about the world and use that knowledge to reason about the visual world. Humans can learn about the…

Computer Vision and Pattern Recognition · Computer Science 2017-04-25 Kenneth Marino , Ruslan Salakhutdinov , Abhinav Gupta

Signed graphs are an emergent way of representing data in a variety of contexts where antagonistic interactions exist. These include data from biological, ecological, and social systems. Here we propose the concept of communicability for…

Metric Geometry · Mathematics 2025-03-20 Fernando Diaz-Diaz , Ernesto Estrada

Network visualization is essential for many scientific, societal, technological and artistic domains. The primary goal is to highlight patterns out of nodes interconnected by edges that are easy to understand, facilitate communication and…

Physics and Society · Physics 2024-06-18 Fabrizio De Vico Fallani , Thibault Rolland

We give a construction for a self-test for any connected graph state. In other words, for each connected graph state we give a set of non-local correlations that can only be achieved (quantumly) by that particular graph state and certain…

Quantum Physics · Physics 2010-10-12 Matthew McKague

A property of finite graphs is called nondeterministically testable if it has a "certificate" such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that…

Combinatorics · Mathematics 2013-08-23 László Lovász , Katalin Vesztergombi

Graph learning methods have been extensively applied in diverse application areas. However, what kind of inherent graph properties e.g. graph proximity, graph structural information has been encoded into graph representation learning for…

Machine Learning · Computer Science 2024-08-08 Mingyu Zhao , Xingyu Huang , Ziyu Lyu , Yanlin Wang , Lixin Cui , Lu Bai

Graph neural networks (GNNs) are powerful graph-based deep-learning models that have gained significant attention and demonstrated remarkable performance in various domains, including natural language processing, drug discovery, and…

Machine Learning · Computer Science 2023-06-06 Jaykumar Kakkad , Jaspal Jannu , Kartik Sharma , Charu Aggarwal , Sourav Medya

Verifying the truthfulness of claims usually requires joint multi-modal reasoning over both textual and visual evidence, such as analyzing both textual caption and chart image for claim verification. In addition, to make the reasoning…

Computation and Language · Computer Science 2026-02-11 Delvin Ce Zhang , Suhan Cui , Zhelin Chu , Xianren Zhang , Dongwon Lee

Graphs are fundamental data structures which concisely capture the relational structure in many important real-world domains, such as knowledge graphs, physical and social interactions, language, and chemistry. Here we introduce a powerful…

Machine Learning · Computer Science 2018-03-12 Yujia Li , Oriol Vinyals , Chris Dyer , Razvan Pascanu , Peter Battaglia

We present a simple iterative strategy for measuring the connection strength between a pair of vertices in a graph. The method is attractive in that it has a linear complexity and can be easily parallelized. Based on an analysis of the…

Discrete Mathematics · Computer Science 2009-09-24 Jie Chen , Ilya Safro