3825 search results - page 529 / 765 » More on pooling spaces |
196
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
Two of the attractions of search-based software engineering (SBSE) derive from the nature of the fitness functions used to guide the search. These have proved to be highly robust...
169
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
Designing technical plants is a complex and demanding process. It has been shown that the optimization of the simple facility placement problem is already NP-hard. Optimization of...
162
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
This paper introduces hyper-ellipsoids as an improvement to hyper-spheres as intrusion detectors in a negative selection problem within an artificial immune system. Since hyper-s...
180
Voted
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
This paper addresses the evolution of control strategies for a collective: a set of entities that collectively strives to maximize a global evaluation function that rates the perf...
190
click to vote
HVC
2005
Springer
16 years 18 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...