Results 11 to 20 of about 26,431 (256)
CoRR, 2021 Graph neural networks (GNNs) are a powerful inductive bias for modelling algorithmic reasoning procedures and data structures. Their prowess was mainly demonstrated on tasks featuring Markovian dynamics, where querying any associated data structure depends only on its latest state.
Heiko Strathmann +3 more
openaire +2 more sources
IEEE Transactions on Information Theory, 2011 The paper proposes a new message passing algorithm for cycle-free factor graphs. The proposed "entropy message passing" (EMP) algorithm may be viewed as sum-product message passing over the entropy semiring, which has previously appeared in automata theory. The primary use of EMP is to compute the entropy of a model.
Velimir M. Ilic +2 more
openaire +2 more sources
Vector Approximate Message Passing [PDF]
IEEE Transactions on Information Theory, 2017 The standard linear regression (SLR) problem is to recover a vector $\mathbf{x}^0$ from noisy linear observations $\mathbf{y}=\mathbf{Ax}^0+\mathbf{w}$. The approximate message passing (AMP) algorithm recently proposed by Donoho, Maleki, and Montanari is a computationally efficient iterative approach to SLR that has a remarkable property: for large i.i.
Sundeep Rangan +2 more
openaire +2 more sources
On convergence of approximate message passing [PDF]
2014 IEEE International Symposium on Information Theory, 2014 5 pages, 3 ...
Caltagirone, Francesco +2 more
openaire +3 more sources
Science of Computer Programming, 2009 Message passing is a key ingredient of concurrent programming. The purpose of this paper is to describe the equivalence between the proof theory, the categorical semantics, and term calculus of message passing. In order to achieve this we introduce the categorical notion of a linear actegory and the related polycategorical notion of a poly-actegory ...
J. Robin B. Cockett, Craig A. Pastro
openaire +3 more sources
A Message-Passing Interpretation of Adjoint Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a system of session types based on adjoint logic which generalize standard binary session types. Our system allows us to uniformly capture several new behaviors in the space of asynchronous message-passing communication, including multicast ...
Klaas Pruiksma, Frank Pfenning
doaj +1 more source
Information, 2020 In this paper, we proposed a verification method for the message passing behavior of IoT systems by checking the accumulative event relation of process models.
Mohd Anuaruddin Bin Ahmadon +1 more
doaj +1 more source
CoRR, 2013 Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)
Vibhav Gogate, Pedro M. Domingos
openaire +3 more sources
Memory Approximate Message Passing [PDF]
2021 IEEE International Symposium on Information Theory (ISIT), 2021 Approximate message passing (AMP) is a low-cost iterative parameter-estimation technique for certain high-dimensional linear systems with non-Gaussian distributions. However, AMP only applies to independent identically distributed (IID) transform matrices, but may become unreliable for other matrix ensembles, especially for ill-conditioned ones.
Lei Liu 0005 +2 more
openaire +3 more sources
Cooperative Localization and Time Synchronization Based on M-VMP Method
Sensors, 2020 Localization estimation and clock synchronization are important research directions in the application of wireless sensor networks. Aiming at the problems of low positioning accuracy and slow convergence speed in localization estimation methods based on ...
Zhongliang Deng +5 more
doaj +1 more source