13 search results - page 1 / 3 » Experimenting with Small Changes in Conflict-Driven Clause L... |
CP
2008
Springer
13 years 6 months ago
2008
Springer
Experimentation of new algorithms is the usual companion section of papers dealing with SAT. However, the behavior of those algorithms is so unpredictable that even strong experime...
FASE
2010
Springer
13 years 8 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
FGR
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a method for automatically learning a set of discriminatory facial components for face recognition. The algorithm performs an iterative growing of components starting w...
ECCV
2004
Springer
14 years 6 months ago
2004
Springer
Abstract. We present a method for learning feature descriptors using multiple images, motivated by the problems of mobile robot navigation and localization. The technique uses the ...
JFR
2006
13 years 4 months ago
2006
The Defense Applied Research Projects Agency (DARPA) Learning Applied to Ground Vehicles (LAGR) program aims to develop algorithms for autonomous vehicle navigation that learn how...