757 search results - page 30 / 152 » Monte Carlo Model Checking |
105
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
112
Voted
CSC
2006
15 years 3 months ago
2006
The computation of radiative effects by the Photon Monte Carlo method is computationally demanding, especially when complex, nongray absorption models are employed. To solve such c...
120
Voted
MCS
2007
Springer
15 years 2 months ago
2007
Springer
We describe a Monte Carlo method for the numerical computation of the principal eigenvalue of the Laplace operator in a bounded domain with Dirichlet conditions. It is based on th...
121
click to vote
WSC
2000
15 years 3 months ago
2000
Under certain conditions on the integrand, quasi-Monte Carlo methods for estimating integrals (expectations) converge faster asymptotically than Monte Carlo methods. Motivated by ...
114
click to vote
WSC
2008
15 years 4 months ago
2008
We propose a framework for optimization problems based on particle filtering (also called Sequential Monte Carlo method). This framework unifies and provides new insight into rand...