851 search results - page 84 / 171 » Inaccessibility in Decision Procedures |
GECCO
2006
Springer
14 years 19 days ago
2006
Springer
: Evolutionary multi-objective optimization (EMO) methodologies have been amply applied to find a representative set of Pareto-optimal solutions in the past decade and beyond. Alth...
ROBOCUP
2000
Springer
14 years 17 days ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
IJCAI
1989
13 years 10 months ago
1989
Heuristic search procedures are useful in a large number of problems of practical importance. Such procedures operate by searching several paths in a search space at the same time...
FROCOS
2011
Springer
12 years 8 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
In many retrieval, object recognition and wide baseline stereo methods, correspondences of interest points are established possibly sublinearly by matching a compact descriptor su...