Sciweavers

517 search results - page 104 / 104
» On intelligence as memory
Sort
View
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
13 years 6 months ago
Searching for liveness property violations in concurrent systems with ACO
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
Enrique Alba, J. Francisco Chicano
GECCO
2008
Springer
183views Optimization» more  GECCO 2008»
13 years 6 months ago
UMDAs for dynamic optimization problems
This paper investigates how the Univariate Marginal Distribution Algorithm (UMDA) behaves in non-stationary environments when engaging in sampling and selection strategies designe...
Carlos M. Fernandes, Cláudio F. Lima, Agost...