Sciweavers

3333 search results - page 158 / 667
» Abstract Proof Search
Sort
View
ACG
2009
Springer
15 years 10 months ago
Monte-Carlo Kakuro
Abstract. Kakuro consists in filling a grid with integers that sum up to predefined values. Sums are predefined for each row and column and all integers have to be different in ...
Tristan Cazenave
125
Voted
ERCIMDL
2010
Springer
144views Education» more  ERCIMDL 2010»
15 years 5 months ago
A New Perspective on Collection Selection
Abstract. Collection selection is traditionally a sub-problem of metasearch, and identifies collections most likely to contain relevant documents. However, we propose to treat coll...
Helen Dodd, George Buchanan, Matt Jones
CEC
2010
IEEE
15 years 4 months ago
Parallel hybrid evolutionary algorithms on GPU
Abstract— Over the last years, interest in hybrid metaheuristics has risen considerably in the field of optimization. Combinations of methods such as evolutionary algorithms and...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
GPEM
2000
103views more  GPEM 2000»
15 years 3 months ago
Size Fair and Homologous Tree Crossovers for Tree Genetic Programming
Abstract. Size fair and homologous crossover genetic operators for tree based genetic programming are described and tested. Both produce considerably reduced increases in program s...
William B. Langdon
CI
1998
78views more  CI 1998»
15 years 3 months ago
Pattern Databases
A pattern database is a lookup table that stores an exact evaluation function for a relaxed search problem, which provides an admissible heuristic for the original search problem....
Joseph C. Culberson, Jonathan Schaeffer