4962 search results - page 608 / 993 » Stochastic Model Checking |
122
Voted
WSC
2004
15 years 6 months ago
2004
We summarize the results of an experimental performance evaluation of using an empirical histogram to approximate the steady-state distribution of the underlying stochastic proces...
144
click to vote
WSC
2004
15 years 6 months ago
2004
Adaptive Monte Carlo methods are specialized Monte Carlo simulation techniques where the methods are adaptively tuned as the simulation progresses. The primary focus of such techn...
119
click to vote
WSC
2004
15 years 6 months ago
2004
We review the basic principles of Quasi-Monte Carlo (QMC) methods, the randomizations that turn them into variancereduction techniques, and the main classes of constructions under...
145
Voted
WSC
1997
15 years 6 months ago
1997
A classical problem of stochastic simulation is how to estimate the variance of the sample mean of dependent but stationary outputs. Many variance estimators, such as the batch me...
129
click to vote
AAAI
1996
15 years 6 months ago
1996
We formalize a model for supervised learning of action strategies in dynamic stochastic domains and show that PAC-learning results on Occam algorithms hold in this model as well. W...