757 search results - page 31 / 152 » Monte Carlo Model Checking |
WSC
1998
13 years 11 months ago
1998
This paper compares Monte Carlo methods, lattice rules, and other low-discrepancy point sets on the problem of evaluating asian options. The combination of these methods with vari...
ECCV
2000
Springer
14 years 12 months ago
2000
Springer
The problem of tracking pedestrians from a moving car is a challenging one. The Condensation tracking algorithm is appealing for its generality and potential for real-time implemen...
CF
2005
ACM
14 years 1 days ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
NIPS
1998
13 years 11 months ago
1998
We present Monte-Carlo generalized EM equations for learning in nonlinear state space models. The dif
WSC
2008
14 years 12 days ago
2008
Our focus is on efficient estimation of tail probabilities of sums of correlated lognormals. This problem is motivated by the tail analysis of portfolios of assets driven by corre...