1738 search results - page 18 / 348 » Local Consistency and SAT-Solvers |
ECAI
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. In constraint networks, the efficiency of a search algorithm is strongly related to the local consistency maintained during search. For a long time, it has been consider...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
CVPR
2001
IEEE
14 years 9 months ago
2001
IEEE
Detection of feature points in images is an important preprocessing stage for many algorithms in Computer Vision. We address the problem of detection of feature points in video se...
IJCAI
2003
13 years 8 months ago
2003
We propose a new framework to study properties of consistency in a Constraint Network from the perspective of properties of set intersection. Our framework comes with a proof sche...
CSCW
2000
ACM
13 years 12 months ago
2000
ACM
In this paper we investigate how consistency can be ensured for replicated continuous interactive media, i.e., replicated media which change their state in reaction to user initia...