Sciweavers

757 search results - page 3 / 152
» Monte Carlo Model Checking
Sort
View
LSSC
2001
Springer
14 years 3 days ago
An Improved Monte Carlo Algorithm for Elastic Electron Backscattering from Surfaces
The problen of the backscattering of electrons from metal targets is subject of extensive theoreticel and experimental work in surface analysis. We are interested in the angular di...
Ivan Dimov, Emanouil I. Atanassov, Mariya K. Durch...
SAC
2008
ACM
13 years 7 months ago
Particle methods for maximum likelihood estimation in latent variable models
Standard methods for maximum likelihood parameter estimation in latent variable models rely on the Expectation-Maximization algorithm and its Monte Carlo variants. Our approach is ...
Adam M. Johansen, Arnaud Doucet, Manuel Davy
ICML
1999
IEEE
14 years 8 months ago
Monte Carlo Hidden Markov Models: Learning Non-Parametric Models of Partially Observable Stochastic Processes
We present a learning algorithm for non-parametric hidden Markov models with continuous state and observation spaces. All necessary probability densities are approximated using sa...
Sebastian Thrun, John Langford, Dieter Fox
CAV
2005
Springer
133views Hardware» more  CAV 2005»
14 years 1 months ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha