882 search results - page 113 / 177 » Local Search for Very Large SAT Problems |
153
click to vote
CIARP
2009
Springer
15 years 8 months ago
2009
Springer
Monitoring media broadcast content has deserved a lot of attention lately from both academy and industry due to the technical challenge involved and its economic importance (e.g. i...
130
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
141
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...
149
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a lens system design algorithm using the covariance matrix adaptation evolution strategy (CMA-ES), which is one of the most powerful self-adaptation mechanisms....
141
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— Mobile robot localization and navigation requires a map - the robot’s internal representation of the environment. A common problem is that path planning becomes very ineffic...