13917 search results - page 151 / 2784 » Abstraction of Probabilistic Systems |
110
click to vote
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we address the problem of tracking the temporal evolution of arbitrary shapes observed in multi-camera setups. This is motivated by the ever growing number...
AMAI
2008
Springer
14 years 10 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...
CORR
2008
Springer
14 years 10 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...
CAI
1998
Springer
14 years 9 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...
102
click to vote
JIIS
2002
14 years 9 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...