757 search results - page 6 / 152 » Monte Carlo Model Checking |
IJCV
2008
13 years 9 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— In recent years, there has been an increasing interest in autonomous navigation for lightweight flying robots. With regard to self-localization flying robots have sev...
FCCM
2008
IEEE
14 years 3 months ago
2008
IEEE
The recent turmoil in global credit markets has demonstrated the need for advanced modelling of credit risk, which can take into account the effects of changing economic condition...
MA
2010
Springer
13 years 7 months ago
2010
Springer
We consider Bayesian analysis of data from multivariate linear regression models whose errors have a distribution that is a scale mixture of normals. Such models are used to analy...
BMCBI
2007
13 years 9 months ago
2007
Background: The ab initio protein folding problem consists of predicting protein tertiary structure from a given amino acid sequence by minimizing an energy function; it is one of...