中文
相关论文

相关论文: A CSP implementation of the directed bigraph embed…

200 篇论文

A crucial problem for many results and tools about bigraphs and bigraphical reactive systems is bigraph embedding. An embedding is more informative than a bigraph matching, since it keeps track of the correspondence between the various…

计算机科学中的逻辑 · 计算机科学 2019-07-15 Marino Miculan , Marco Peressotti

The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings are centralized, i.e. designed to run locally with a complete…

分布式、并行与集群计算 · 计算机科学 2015-03-10 Alessio Mansutti , Marino Miculan , Marco Peressotti

Recently, one has seen a surge of interest in developing such methods including ones for learning such representations for (undirected) graphs (while preserving important properties). However, most of the work to date on embedding graphs…

社会与信息网络 · 计算机科学 2018-11-30 Jiankai Sun , Srinivasan Parthasarathy

The inductive biases of graph representation learning algorithms are often encoded in the background geometry of their embedding space. In this paper, we show that general directed graphs can be effectively represented by an embedding model…

机器学习 · 统计学 2021-06-17 Aaron Sim , Maciej Wiatrak , Angus Brayne , Páidí Creed , Saee Paliwal

Feature extraction and dimension reduction for networks is critical in a wide variety of domains. Efficiently and accurately learning features for multiple graphs has important applications in statistical inference on graphs. We propose a…

应用统计 · 统计学 2021-06-23 Shangsi Wang , Jesús Arroyo , Joshua T. Vogelstein , Carey E. Priebe

It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to digraphs. We present a simple variant of such a reduction and use it to show that the algebraic dichotomy…

计算复杂性 · 计算机科学 2013-08-05 Jakub Bulin , Dejan Delic , Marcel Jackson , Todd Niven

A number of discrete and continuous optimization problems in machine learning are related to convex minimization problems under submodular constraints. In this paper, we deal with a submodular function with a directed graph structure, and…

机器学习 · 计算机科学 2013-09-27 Kiyohito Nagano , Yoshinobu Kawahara

The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main…

人工智能 · 计算机科学 2014-07-09 David A. Cohen , Martin C. Cooper , Páidí Creed , András Z. Salamon

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on…

离散数学 · 计算机科学 2019-05-31 Raphael Steiner , Sebastian Wiederrecht

Bidirected graphs are a common generalisation of directed graphs where arcs can also be incoming to both their incident nodes, or outgoing from both their incident nodes. Such arcs allow a walk to change direction. Some algorithms can…

数据结构与算法 · 计算机科学 2026-05-14 Sebastian Schmidt , Juha Harviainen , Corentin Moumard , Aleksandr Politov , Francisco Sena , Alexandru I. Tomescu

Disentangled distributed representations of data are desirable for machine learning, since they are more expressive and can generalize from fewer examples. However, for complex data, the distributed representations of multiple objects…

机器学习 · 计算机科学 2016-01-21 Klaus Greff , Rupesh Kumar Srivastava , Jürgen Schmidhuber

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.…

机器学习 · 计算机科学 2015-07-07 Paul Mineiro , Nikos Karampatziakis

In this report, we consider maximal solutions to the induced bounded-degree subgraph problem and relate it to issues concerning stream control in multiple-input multiple-output (MIMO) networks. We present a new distributed algorithm that…

网络与互联网体系结构 · 计算机科学 2007-09-10 Harish Sethu

An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if…

组合数学 · 数学 2021-05-05 Lars Jaffke , O-joung Kwon , Jan Arne Telle

We propose a novel node embedding of directed graphs to statistical manifolds, which is based on a global minimization of pairwise relative entropy and graph geodesics in a non-linear way. Each node is encoded with a probability density…

机器学习 · 计算机科学 2020-02-07 Thorben Funke , Tian Guo , Alen Lancic , Nino Antulov-Fantulin

This paper considers the problem of embedding directed graphs in Euclidean space while retaining directional information. We model a directed graph as a finite set of observations from a diffusion on a manifold endowed with a vector field.…

机器学习 · 统计学 2014-06-03 Dominique Perrault-Joncas , Marina Meila

Composed image retrieval searches for a target image based on a multi-modal user query comprised of a reference image and modification text describing the desired changes. Existing approaches to solving this challenging task learn a mapping…

计算机视觉与模式识别 · 计算机科学 2023-11-07 Zheyuan Liu , Weixuan Sun , Yicong Hong , Damien Teney , Stephen Gould

Real life problems such as scheduling meeting between people at different locations can be modelled as distributed Constraint Satisfaction Problems (CSPs). Suitable and satisfactory solutions can then be found using constraint satisfaction…

人工智能 · 计算机科学 2015-09-04 Ibrahim Adeyanju

This paper is concerned with a constrained optimization problem over a directed graph (digraph) of nodes, in which the cost function is a sum of local objectives, and each node only knows its local objective and constraints. To…

分布式、并行与集群计算 · 计算机科学 2017-01-24 Pei Xie , Keyou You , Shiji Song , Cheng Wu

The Constraint Satisfaction Problem (CSP) is ubiquitous in various areas of mathematics and computer science. Many of its variations have been studied including the Counting CSP, where the goal is to find the number of solutions to a CSP…

计算复杂性 · 计算机科学 2025-01-24 Amirhossein Kazeminia , Andrei A. Bulatov
‹ 上一页 1 2 3 10 下一页 ›