13917 search results - page 131 / 2784 » Abstraction of Probabilistic Systems |
240
click to vote
IDA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
169
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. Finding paths in high-dimensional gemetric spaces is a provably hard problem. Recently, a general randomized planning scheme has emerged as an e ective approach to solve ...
155
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: We present two probabilistic leader election algorithms for anonymous unidirectional rings with FIFO channels, based on an algorithm from Itai and Rodeh [Itai and Rodeh 1...
150
click to vote
ENTCS
2008
15 years 7 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
192
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...