English
Related papers

Related papers: GraphTrials: Visual Proofs of Graph Properties

200 papers

Plagiarism of material from the Internet is a widespread and growing problem. Several methods used to detect the plagiarism and similarity between the source document and suspected documents such as fingerprint based on character or n-gram.…

Other Computer Science · Computer Science 2010-04-27 Ahmed Hamza Osman , Naomie Salim , Mohammed Salem Binwahlan

The increasing prevalence of graph-structured data across various domains has intensified greater interest in graph classification tasks. While numerous sophisticated graph learning methods have emerged, their complexity often hinders…

Machine Learning · Computer Science 2025-09-03 Saiful Islam , Md. Nahid Hasan , Pitambar Khanra

This book collects the lectures about graph theory and its applications which were given to students of mathematical departments of Moscow State University and Peking University. Graph theory is a very wide field with a lot of applications…

Social and Information Networks · Computer Science 2024-10-15 Mikhail Tuzhilin , Dong Zhang

Finding inherent or processed links within a dataset allows to discover potential knowledge. The main contribution of this article is to define a global framework that enables optimal knowledge discovery by visually rendering co-occurences…

Social and Information Networks · Computer Science 2018-09-05 Xavier Ouvrard , Jean-Marie Le Goff , Stephane Marchand-Maillet

The abundance of interconnected data has fueled the design and implementation of graph generators reproducing real-world linking properties, or gauging the effectiveness of graph algorithms, techniques and applications manipulating these…

Databases · Computer Science 2020-01-23 Angela Bonifati , Irena Holubová , Arnau Prat-Pérez , Sherif Sakr

The goal of local certification is to locally convince the vertices of a graph $G$ that $G$ satisfies a given property. A prover assigns short certificates to the vertices of the graph, then the vertices are allowed to check their…

Discrete Mathematics · Computer Science 2026-02-25 Oscar Defrain , Louis Esperet , Aurélie Lagoutte , Pat Morin , Jean-Florent Raymond

In this study, we formulate the concept of "mining maximal-size frequent subgraphs" in the challenging domain of visual data (images and videos). In general, visual knowledge can usually be modeled as attributed relational graphs (ARGs)…

Computer Vision and Pattern Recognition · Computer Science 2017-08-15 Quanshi Zhang , Xuan Song , Ryosuke Shibasaki

Explainable artificial intelligence (XAI) is an important area in the AI community, and interpretability is crucial for building robust and trustworthy AI models. While previous work has explored model-level and instance-level explainable…

Machine Learning · Computer Science 2025-12-05 Xudong Wang , Ziheng Sun , Chris Ding , Jicong Fan

Drug discovery aims at designing novel molecules with specific desired properties for clinical trials. Over past decades, drug discovery and development have been a costly and time consuming process. Driven by big chemical data and AI, deep…

Machine Learning · Computer Science 2020-07-22 Karan Yang , Chengxi Zang , Fei Wang

Graph Neural Networks (GNNs) have emerged as a powerful tool for learning from graph-structured data. However, even state-of-the-art architectures have limitations on what structures they can distinguish, imposing theoretical limits on what…

Machine Learning · Computer Science 2023-07-03 Eren Akbiyik , Florian Grötschla , Beni Egressy , Roger Wattenhofer

Recent advances in Vision-Language Models (VLMs) have shown promising capabilities in interpreting visualized graph data, offering a new perspective for graph-structured reasoning beyond traditional Graph Neural Networks (GNNs). However,…

Artificial Intelligence · Computer Science 2026-04-27 Qihang Ai , Ruizhou Li , Menghui Wang , Haiyun Jiang

Mining graph data has become a popular research topic in computer science and has been widely studied in both academia and industry given the increasing amount of network data in the recent years. However, the huge amount of network data…

Machine Learning · Computer Science 2020-01-03 Wenwu Zhu , Xin Wang , Peng Cui

Graphs are mathematical tools that can be used to represent complex real-world systems, such as financial markets and social networks. Hence, machine learning (ML) over graphs has attracted significant attention recently. However, it has…

Machine Learning · Computer Science 2023-03-22 O. Deniz Kose , Yanning Shen , Gonzalo Mateos

We propose a new framework for the recognition of online handwritten graphics. Three main features of the framework are its ability to treat symbol and structural level information in an integrated way, its flexibility with respect to…

Computer Vision and Pattern Recognition · Computer Science 2017-09-20 Frank Julca-Aguilar , Harold Mouchère , Christian Viard-Gaudin , Nina S. T. Hirata

Graph embedding is a transformation of nodes of a graph into a set of vectors. A~good embedding should capture the graph topology, node-to-node relationship, and other relevant information about the graph, its subgraphs, and nodes. If these…

Social and Information Networks · Computer Science 2022-06-22 Arash Dehghan-Kooshkghazi , Bogumił Kamiński , Łukasz Kraiński , Paweł Prałat , François Théberge

The rise of graph analytic systems has created a need for ways to measure and compare the capabilities of these systems. Graph analytics present unique scalability difficulties. The machine learning, high performance computing, and visual…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-03-07 Siddharth Samsi , Vijay Gadepally , Michael Hurley , Michael Jones , Edward Kao , Sanjeev Mohindra , Paul Monticciolo , Albert Reuther , Steven Smith , William Song , Diane Staheli , Jeremy Kepner

A point visibility graph is a graph induced by a set of points in the plane, where every vertex corresponds to a point, and two vertices are adjacent whenever the two corresponding points are visible from each other, that is, the open…

Computational Geometry · Computer Science 2019-02-05 Jean Cardinal , Udo Hoffmann

Analysts often make visual causal inferences about possible data-generating models. However, visual analytics (VA) software tends to leave these models implicit in the mind of the analyst, which casts doubt on the statistical validity of…

Human-Computer Interaction · Computer Science 2021-07-29 Alex Kale , Yifan Wu , Jessica Hullman

Property Testing is a formal framework to study the computational power and complexity of sampling from combinatorial objects. A central goal in standard graph property testing is to understand which graph properties are testable with…

Data Structures and Algorithms · Computer Science 2025-09-08 Artur Czumaj , Christian Sohler , Stefan Walzer

We propose a novel image representation, termed Attribute-Graph, to rank images by their semantic similarity to a given query image. An Attribute-Graph is an undirected fully connected graph, incorporating both local and global image…

Computer Vision and Pattern Recognition · Computer Science 2015-10-09 Nikita Prabhu , R. Venkatesh Babu