2278 search results - page 233 / 456 » Markov logic networks |
200
click to vote
TCAD
1998
15 years 6 months ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
171
click to vote
IANDC
2010
15 years 5 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
169
click to vote
NAACL
2010
15 years 4 months ago
2010
Knowledge extraction from online repositories such as PubMed holds the promise of dramatically speeding up biomedical research and drug design. After initially focusing on recogni...
201
click to vote
AAAI
2012
13 years 9 months ago
2012
The presence of non-symmetric evidence has been a barrier for the application of lifted inference since the evidence destroys the symmetry of the first-order probabilistic model....