757 search results - page 39 / 152 » Monte Carlo Model Checking |
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Range sensors are popular for localization since they directly measure the geometry of the local environment. Another distinct benefit is their typically high accuracy and spa...
CSDA
2010
13 years 10 months ago
2010
Recently developed adaptive Markov chain Monte Carlo (MCMC) methods have been applied successfully to many problems in Bayesian statistics. Grapham is a new open source implementat...
TIP
2010
13 years 4 months ago
2010
We propose to model the image differentials of astrophysical source maps by Student's t-distribution and to use them in the Bayesian source separation method as priors. We int...
ECCV
2006
Springer
14 years 1 months ago
2006
Springer
Tracking body poses of multiple persons in monocular video is a challenging problem due to the high dimensionality of the state space and issues such as inter-occlusion of the pers...
AGI
2008
13 years 11 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...