4266 search results - page 288 / 854 » Search for More Declarativity |
157
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
A common problem in genetic programming search algorithms is destructive crossover in which the offspring of good parents generally has worse performance than the parents. Design...
177
click to vote
SAC
2005
ACM
16 years 10 days ago
2005
ACM
In this paper, we propose a multi-agent approach for solving a class of optimization problems involving expensive resources, where monolithic local search schemes perform miserabl...
144
click to vote
ERCIMDL
2005
Springer
16 years 9 days ago
2005
Springer
We describe an experiment that measures the pedagogical usefulness of the results returned by the National Science Digital Library (NSDL) and Google. Eleven public school teachers ...
197
click to vote
ICDCIT
2005
Springer
16 years 9 days ago
2005
Springer
The existing search engines sometimes give unsatisfactory search result for lack of any categorization. If there is some means to know the preference of user about the search resul...
173
click to vote
SAT
2004
Springer
16 years 4 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...