6800 search results - page 608 / 1360 » Testing with Functions as Specifications |
192
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
The objectives of this paper are to describe a steady-state version of the Age-Layered Population Structure (ALPS) Evolutionary Algorithm (EA) and to compare it against other GAs ...
217
click to vote
SAT
2009
Springer
16 years 2 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
218
click to vote
MIRAGE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
204
click to vote
CSB
2005
IEEE
16 years 1 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
154
click to vote
ICANN
2005
Springer
16 years 1 months ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...