13917 search results - page 131 / 2784 » Abstraction of Probabilistic Systems |
132
click to vote
IDA
2005
Springer
15 years 3 months 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...
IPPS
1998
IEEE
15 years 2 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 ...
JUCS
2006
14 years 10 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...
ENTCS
2008
14 years 10 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
ICMCS
2005
IEEE
15 years 3 months 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...