English
Related papers

Related papers: GraphTrials: Visual Proofs of Graph Properties

200 papers

In the vast landscape of visualization research, Dimensionality Reduction (DR) and graph analysis are two popular subfields, often essential to most visual data analytics setups. DR aims to create representations to support neighborhood and…

Machine Learning · Computer Science 2024-12-10 Fernando Paulovich , Alessio Arleo , Stef van den Elzen

Graphs are a fundamental abstraction for modeling relational data. However, graphs are discrete and combinatorial in nature, and learning representations suitable for machine learning tasks poses statistical and computational challenges. In…

Machine Learning · Statistics 2019-05-16 Aditya Grover , Aaron Zweig , Stefano Ermon

In the last decade or so, we have witnessed deep learning reinvigorating the machine learning field. It has solved many problems in the domains of computer vision, speech recognition, natural language processing, and various other tasks…

Machine Learning · Computer Science 2021-09-09 Lilapati Waikhom , Ripon Patgiri

Network or graph structures are ubiquitous in the study of complex systems. Often, we are interested in complexity trends of these system as it evolves under some dynamic. An example might be looking at the complexity of a food web as…

Information Theory · Computer Science 2007-07-16 Russell K. Standish

The family of image visibility graphs (IVGs) have been recently introduced as simple algorithms by which scalar fields can be mapped into graphs. Here we explore the usefulness of such operator in the scenario of image processing and image…

Data Analysis, Statistics and Probability · Physics 2019-11-19 Jacopo Iacovacci , Lucas Lacasa

Recently, graphs have been widely used to represent many different kinds of real world data or observations such as social networks, protein-protein networks, road networks, and so on. In many cases, each node in a graph is associated with…

Social and Information Networks · Computer Science 2016-09-28 Jihwan Lee , Keehwan Park , Sunil Prabhakar

Graphs are commonly used in mathematics to represent some relationships between items. However, as simple objects, they sometimes fail to capture all relevant aspects of real-world data. To address this problem, we generalize them and model…

Social and Information Networks · Computer Science 2019-10-04 Pimprenelle Parmentier , Tiphaine Viard , Benjamin Renoust , Jean-François Baffier

Events in natural videos typically arise from spatio-temporal interactions between actors and objects and involve multiple co-occurring activities and object classes. To capture this rich visual and semantic context, we propose using two…

Computer Vision and Pattern Recognition · Computer Science 2020-10-01 Effrosyni Mavroudi , Benjamín Béjar Haro , René Vidal

In this thesis we present a semantic representation formalism based on directed graphs and explore its linguistic adequacy and explanatory benefits in the semantics of plurality and quantification. Our graph language covers the essentials…

Computation and Language · Computer Science 2021-12-14 Yu Cao

The topological (or graph) structures of real-world networks are known to be predictive of multiple dynamic properties of the networks. Conventionally, a graph structure is represented using an adjacency matrix or a set of hand-crafted…

Social and Information Networks · Computer Science 2016-10-21 Cheng Li , Xiaoxiao Guo , Qiaozhu Mei

We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in the presence of linked data structures, 2) shape analysis…

Programming Languages · Computer Science 2007-05-23 Viktor Kuncak , Martin Rinard

Automated fact-checking aims to assess the truthfulness of textual claims based on relevant evidence. However, verifying complex claims that require multi-hop reasoning remains a significant challenge. We propose GraphCheck, a novel…

Computation and Language · Computer Science 2025-11-10 Hyewon Jeon , Jay-Yoon Lee

The ability of to explain neural network decisions goes hand in hand with their safe deployment. Several methods have been proposed to highlight features important for a given network decision. However, there is no consensus on how to…

Computer Vision and Pattern Recognition · Computer Science 2020-03-23 Agnieszka Grabska-Barwińska

Graph convexity has been used as an important tool to better understand the structure of classes of graphs. Many studies are devoted to determine if a graph equipped with a convexity is a {\em convex geometry}. In this work we survey…

Discrete Mathematics · Computer Science 2024-09-05 Mitre C. Dourado , Marisa Gutierrez , Fábio Protti , Rudini Sampaio , Silvia Tondato

In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing conflict detection techniques typically report a conflict…

Software Engineering · Computer Science 2015-04-13 Géza Kulcsár , Frederik Deckwerth , Malte Lochau , Gergely Varró , Andy Schürr

Graph Neural Networks (GNNs) excel in graph-based learning tasks, but their complex, non-linear operations often render them as opaque "black boxes". This opacity hinders user trust, complicates debugging, bias detection, and adoption in…

Artificial Intelligence · Computer Science 2025-11-18 TC Singh , Sougata Mukherjea

This tutorial paper refers to the use of graph-theoretic concepts for analyzing brain signals. For didactic purposes it splits into two parts: theory and application. In the first part, we commence by introducing some basic elements from…

Neurons and Cognition · Quantitative Biology 2020-07-14 Nikolaos Laskaris , Dimitrios A. Adamos , Anastasios Bezerianos

Recently, many systems for graph analysis have been developed to address the growing needs of both industry and academia to study complex graphs. Insight into the practical uses of graph analysis will allow future developments of such…

Social and Information Networks · Computer Science 2018-07-03 Tim Hegeman , Alexandru Iosup

Students of visualization come to formal education with an abundance of personal experience. However, one's exposure to graphics through media and education may not be sufficiently diverse to appreciate the nuance and complexity required to…

Human-Computer Interaction · Computer Science 2020-10-09 Amy Rae Fox , Taylor Jackson Scott

Keys for graphs uses the topology and value constraints needed to uniquely identify entities in a graph database. They have been studied to support object identification, knowledge fusion, data deduplication, and social network…

Databases · Computer Science 2022-06-01 Morteza Alipourlangouri , Fei Chiang