4488 search results - page 62 / 898 » Focusing Search by Using Problem Solving Experience |
107
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Finding binary sequences with low autocorrelation is a very hard problem with many practical applications. In this paper we analyze several metaheuristic approaches to tackle the ...
131
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
We consider the Bounded Diameter Minimum Spanning Tree problem and describe four neighbourhood searches for it. They are used as local improvement strategies within a variable nei...
129
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
105
click to vote
AIPS
2010
15 years 5 months ago
2010
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...
125
Voted
FLAIRS
2004
15 years 4 months ago
2004
This paper presents a hybrid algorithm that combines local search and constraint programming techniques to solve a network routing problem. The problem considered is that of routi...