757 search results - page 12 / 152 » Monte Carlo Model Checking |
WSC
2001
13 years 10 months ago
2001
Various stochastic programmingproblemscan be formulated as problems of optimization of an expected value function. Quite often the corresponding expectation function cannot be com...
WSC
1997
13 years 10 months ago
1997
In this paper we compare the average performance of Monte Carlo methods for global optimization with non-adaptive deterministic alternatives. We analyze the behavior of the algori...
PG
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a practical, high-quality, hardwareaccelerated volume rendering approach including scattering, environment mapping, and ambient occlusion. We examine the appli...
IJAR
2006
13 years 9 months ago
2006
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
ANOR
2005
13 years 8 months ago
2005
Abstract. Consider a network of unreliable links, modelling for example a communication network. Estimating the reliability of the network