1341 search results - page 73 / 269 » Probabilistic Abstraction Hierarchies |
161
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
164
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
161
click to vote
CAI
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
179
click to vote
JIIS
2002
15 years 6 months ago
2002
Abstract. We propose a novel probabilistic method, based on latent variable models, for unsupervised topographic visualisation of dynamically evolving, coherent textual information...
185
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract--With the services that autonomous robots are to provide becoming more demanding, the states that the robots have to estimate become more complex. In this article, we deve...