1738 search results - page 87 / 348 » Local Consistency and SAT-Solvers |
WEA
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a GRASP with path-relinking heuristic for the quadratic assignment problem. GRASP is a multi-start procedure, where different points in the search space are p...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
Mobile robot localization from large-scale appearance mosaics has been showing increasing promise as a low-cost, high-performance and infrastructure-free solution to vehicle guida...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
AAAI
1992
13 years 10 months ago
1992
Constraint networks have been shown to be useful in formulating such diverse problems as scene labeling, natural language parsing, and temporal reasoning. Given a constraint netwo...
IBPRIA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Piecewise-linear methods accomplish the registration by dividing the images in corresponding triangular patches, which are individually mapped through affine transformati...