95 search results - page 1 / 19 » Time-Bounded Sequential Parameter Optimization |
LION
2010
Springer
13 years 8 months ago
2010
Springer
LCTRTS
1998
Springer
13 years 8 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
SPIN
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
The sequential parameter optimization (spot) package for R (R Development Core Team, 2008) is a toolbox for tuning and understanding simulation and optimization algorithms. Model-...
CEC
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract- Sequential parameter optimization is a heuristic that combines classical and modern statistical techniques to improve the performance of search algorithms. To demonstrate...