1341 search results - page 175 / 269 » Probabilistic Abstraction Hierarchies |
67
Voted
CAISE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...
104
Voted
CIE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
92
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
86
Voted
PET
2009
Springer
15 years 7 months ago
2009
Springer
We present the Vida family of abstractions of anonymous communication systems, model them probabilistically and apply Bayesian inference to extract patterns of communications and u...
116
Voted
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...