Sciweavers

11752 search results - page 107 / 2351
» Those
Sort
View
GECCO
2007
Springer
164views Optimization» more  GECCO 2007»
15 years 4 months ago
A study of mutational robustness as the product of evolutionary computation
This paper investigates the ability of a tournament selection based genetic algorithm to find mutationally robust solutions to a simple combinatorial optimization problem. Two di...
Justin Schonfeld
GECCO
2007
Springer
164views Optimization» more  GECCO 2007»
15 years 4 months ago
Learning building block structure from crossover failure
In the classical binary genetic algorithm, although crossover within a building block (BB) does not always cause a decrease in fitness, any decrease in fitness results from the ...
Zhenhua Li, Erik D. Goodman
SARA
2007
Springer
15 years 3 months ago
Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning
Abstract. We describe a way to improve the performance of MDP planners by modifying them to use lower and upper bounds to eliminate non-optimal actions during their search. First, ...
Ugur Kuter, Jiaqiao Hu
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
15 years 3 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
W2GIS
2007
Springer
15 years 3 months ago
A Theoretical Grounding for Semantic Descriptions of Place
This paper is motivated by the problem of how to provide better access to ever enlarging collections of digital images. The paper opens by examining the concept of place in geograp...
Alistair J. Edwardes, Ross S. Purves