757 search results - page 20 / 152 » Monte Carlo Model Checking |
TSP
2011
13 years 3 months ago
2011
—This paper proposes a technique for motion estimation of groups of targets based on evolving graph networks. The main novelty over alternative group tracking techniques stems fr...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...
WSC
2007
13 years 11 months ago
2007
Equity Indexed Annuities (EIAs) are popular insurance contracts. EIAs provide the insured with a guaranteed accumulation rate on their premium at maturity. In addition, the insure...
NIPS
2001
13 years 10 months ago
2001
We present a sequential Monte Carlo method applied to additive noise compensation for robust speech recognition in time-varying noise. The method generates a set of samples accord...
ACG
2009
Springer
14 years 3 months ago
2009
Springer
With the recent success of Monte-Carlo tree search algorithms in Go and other games, and the increasing number of cores in standard CPUs, the efficient parallelization of the sear...