English
Related papers

Related papers: Derivation-Graph-Based Characterizations of Decida…

200 papers

Deep generative models (DGMs) for graphs achieve impressively high expressive power thanks to very efficient and scalable neural networks. However, these networks contain non-linearities that prevent analytical computation of many standard…

Machine Learning · Computer Science 2025-08-12 Martin Rektoris , Milan Papež , Václav Šmídl , Tomáš Pevný

Regular expressions are often ambiguous. We present a novel method based on Brzozowski's derivatives to aid the user in diagnosing ambiguous regular expressions. We introduce a derivative-based finite state transducer to generate parse…

Formal Languages and Automata Theory · Computer Science 2016-07-14 Martin Sulzmann , Kenny Zhuo Ming Lu

In most domains of network analysis researchers consider networks that arise in nature with weighted edges. Such networks are routinely dichotomized in the interest of using available methods for statistical inference with networks. The…

Methodology · Statistics 2016-11-10 James D. Wilson , Matthew J. Denny , Shankar Bhamidi , Skyler Cranmer , Bruce Desmarais

A set $W\subseteq V(G)$ is called a resolving set for $G$, if for each two distinct vertices $u,v\in V(G)$ there exists $w\in W$ such that $d(u,w)\neq d(v,w)$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The minimum…

Combinatorics · Mathematics 2012-03-13 Mohsen Jannesari

We present a graphical criterion for reading dependencies from the minimal directed independence map G of a graphoid p when G is a polytree and p satisfies composition and weak transitivity. We prove that the criterion is sound and…

Artificial Intelligence · Computer Science 2012-06-26 Jose M. Pena

For a well-studied family of domination-type problems, in bounded-treewidth graphs, we investigate whether it is possible to find faster algorithms. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a…

Computational Complexity · Computer Science 2023-06-07 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

Continual graph learning (CGL) aims to learn from dynamically evolving graphs while mitigating catastrophic forgetting. Existing CGL approaches typically adopt a task-based formulation, where the data stream is partitioned into a sequence…

Machine Learning · Computer Science 2026-05-15 Guiquan Sun , Xikun Zhang , Jingchao Ni , Dongjin Song

Given a finite group G, let cd(G) denote the set of degrees of the irreducible complex characters of G. The character degree graph of G is defined as the simple undirected graph whose vertices are the prime divisors of the numbers in cd(G),…

Group Theory · Mathematics 2018-09-28 Zeinab Akhlaghi , Carlo Casolo , Silvio Dolfi , Emanuele Pacifici , Lucia Sanus

Structural decomposition methods have been developed for identifying tractable classes of instances of fundamental problems in databases, such as conjunctive queries and query containment, of the constraint satisfaction problem in…

Databases · Computer Science 2016-07-06 Gianluigi Greco , Francesco Scarcello

Graph convolutional networks (GCNs) are a widely used method for graph representation learning. We investigate the power of GCNs, as a function of their number of layers, to distinguish between different random graph models on the basis of…

Machine Learning · Statistics 2020-02-14 Abram Magner , Mayank Baranwal , Alfred O. Hero

This paper studies a class of binomial ideals associated to graphs with finite vertex sets. They generalize the binomial edge ideals, and they arise in the study of conditional independence ideals. A Gr\"obner basis can be computed by…

Commutative Algebra · Mathematics 2014-06-18 Johannes Rauh

Based on a recent development in the area of error control coding, we introduce the notion of convolutional factor graphs (CFGs) as a new class of probabilistic graphical models. In this context, the conventional factor graphs are referred…

Artificial Intelligence · Computer Science 2012-07-19 Yongyi Mao , Frank Kschischang , Brendan J. Frey

Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the cases of words and trees, it has been long known that the…

Formal Languages and Automata Theory · Computer Science 2014-04-28 Fabian Reiter

Weighted graphs are ubiquitous throughout biology, chemistry, and the social sciences, motivating the development of generative models for abstract weighted graph data using deep neural networks. However, most current deep generative models…

Machine Learning · Computer Science 2025-08-01 Richard Williams , Eric Nalisnick , Andrew Holbrook

A total dominating set in a graph is a set of vertices such that every vertex of the graph has a neighbor in the set. We introduce and study graphs that admit non-negative real weights associated to their vertices such that a set of…

Combinatorics · Mathematics 2015-05-12 Nina Chiarelli , Martin Milanic

An upper dominating set in a graph is a minimal (with respect to set inclusion) dominating set of maximum cardinality. The problem of finding an upper dominating set is generally NP-hard. We study the complexity of this problem in classes…

Discrete Mathematics · Computer Science 2016-09-07 Hassan AbouEisha , Shahid Hussain , Vadim Lozin , Jérôme Monnot , Bernard Ries , Viktor Zamaraev

We investigate how efficiently a well-studied family of domination-type problems can be solved on bounded-treewidth graphs. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a set $S$ of vertices such…

Computational Complexity · Computer Science 2025-04-22 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

Rule-based languages lie at the core of several areas of central importance to databases and artificial intelligence such as deductive databases and knowledge representation and reasoning. Disjunctive existential rules (a.k.a. disjunctive…

Logic in Computer Science · Computer Science 2025-08-19 Marco Calautti , Marco Console , Andreas Pieris

We investigate a structural generalisation of treewidth we call $\mathcal{A}$-blind-treewidth where $\mathcal{A}$ denotes an annotated graph class. This width parameter is defined by evaluating only the size of those bags $B$ of…

Combinatorics · Mathematics 2024-10-03 J. Pascal Gollin , Sebastian Wiederrecht

We consider the problem of characterizing Bayesian networks up to unconditional equivalence, i.e., when directed acyclic graphs (DAGs) have the same set of unconditional $d$-separation statements. Each unconditional equivalence class (UEC)…

Machine Learning · Statistics 2022-08-11 Alex Markham , Danai Deligeorgaki , Pratik Misra , Liam Solus
‹ Prev 1 3 4 5 6 7 10 Next ›