1738 search results - page 17 / 348 » Local Consistency and SAT-Solvers |
APIN
2006
13 years 7 months ago
2006
CP
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
IVC
2010
13 years 2 months ago
2010
RAS
2008
13 years 7 months ago
2008
A globally consistent solution to the simultaneous localization and mapping (SLAM) problem in 2D with three degrees of freedom (DoF) poses was presented by Lu and Milios [F. Lu, E...
SC
2005
ACM
14 years 1 months ago
2005
ACM
Today, users of the grid may easily authenticate themselves to computing resources around the world using a public key security infrastructure. However, users are forced to employ...