620 search results - page 72 / 124 » Likelihood Computations Using Value Abstraction |
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— The Particle Swarm Optimization (PSO) algorithm is a robust stochastic evolutionary computation technique based on the movement and intelligence of swarms. This paper p...
SPIN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The usual approach to deal with noise present in many realworld optimization problems is to take an arbitrary number of samples of the objective function and use the samp...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Genetic Programming often uses excessive computational resources because the population size and the maximum number of generations per run are not optimized. We have deve...