3333 search results - page 240 / 667 » Abstract Proof Search |
179
click to vote
PPSN
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. The mutation distribution of evolutionary algorithms usually is oriented at the type of the search space. Typical examples are binomial distributions for binary strings i...
137
click to vote
CP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We extend the common depth-first backtrack search for constraint satisfaction problems with randomized variable and value selection. The resulting methods are applied to ...
163
Voted
CLEF
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a method that uses GeoWordNet for Geographical Information Retrieval. During the indexing phase, all places are disambiguated and assigned their coordinates on...
170
click to vote
IMCSIT
2010
15 years 3 months ago
2010
Abstract--The constrained optimization with differential evolution (DE) is addressed. A novel variant of competitive differential evolution with a hybridized search of feasibility ...
154
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
This paper explores the idea of using contexts to support more efficient information search in Topic Maps-based digital libraries. The notion of context is d as abstraction of grou...