Sciweavers

4488 search results - page 753 / 898
» Focusing Search by Using Problem Solving Experience
Sort
View
BERTINORO
2005
Springer
15 years 10 months ago
Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
Peter J. Bentley
EVOW
2005
Springer
15 years 10 months ago
An Evolutionary Infection Algorithm for Dense Stereo Correspondence
This work presents an evolutionary approach to improve the infection algorithm to solve the problem of dense stereo matching. Dense stereo matching is used for 3D reconstruction in...
Cynthia B. Pérez, Gustavo Olague, Francisco...
155
Voted
GECCO
2005
Springer
151views Optimization» more  GECCO 2005»
15 years 10 months ago
Backward-chaining genetic programming
Tournament selection is the most frequently used form of selection in genetic programming (GP). Tournament selection chooses individuals uniformly at random from the population. A...
Riccardo Poli, William B. Langdon
CC
2004
Springer
160views System Software» more  CC 2004»
15 years 10 months ago
Elkhound: A Fast, Practical GLR Parser Generator
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
Scott McPeak, George C. Necula
FORMATS
2004
Springer
15 years 10 months ago
Bounded Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
Fang Yu, Bow-Yaw Wang, Yao-Wen Huang