4962 search results - page 436 / 993 » Stochastic Model Checking |
145
click to vote
WSC
2004
15 years 5 months ago
2004
This paper develops a variant of Simulated Annealing (SA) algorithm for solving discrete stochastic optimization problems where the objective function is stochastic and can be eva...
132
click to vote
WSC
2004
15 years 5 months ago
2004
Monte Carlo techniques have long been used (since Buffon's experiment to approximate the value of by tossing a needle onto striped paper) to analyze phenomena which, due to ...
125
click to vote
WSC
2004
15 years 5 months ago
2004
We consider how simulation metamodels can be used to optimize the performance of a system that depends on a number of factors. We focus on the situation where the number of simula...
100
click to vote
WSC
2004
15 years 5 months ago
2004
This paper introduces the Stochastic Project Scheduling Simulation (SPSS) system and two additional useful statistical analysis tools. SPSS integrates CPM, PERT, and Discrete Even...
141
click to vote
ACL
1998
15 years 5 months ago
1998
The paper argues that language change can be explained through the stochasticity observed in real-world natural language use. This thesis is demonstrated by modeling language use ...