1738 search results - page 37 / 348 » Local Consistency and SAT-Solvers |
DAGM
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. Methods for the recognition of multiple objects in images using local representations are introduced. Starting from a straight forward approach, we combine the use of loc...
ROBOCUP
2001
Springer
14 years 3 hour ago
2001
Springer
Abstract. This paper describes a two-tiered approach to the self-localization problem for soccer playing robots using generic off-the-shelf color cameras. The solution consists of...
CPAIOR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper mathematically frames the relation between window-based and rate-based congestion control algorithms, when the assumption of variable round-trip time conditions is i...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...