5170 search results - page 285 / 1034 » Consistency of the FastSLAM Algorithm |
126
click to vote
LMCS
2006
15 years 1 months ago
2006
It is well known that the resolution method (for propositional logic) is complete. However, completeness proofs found in the literature use an argument by contradiction showing tha...
112
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
106
click to vote
IJDAR
2002
15 years 1 months ago
2002
Abstract. In this paper, an integrated offline recognition system for unconstrained handwriting is presented. The proposed system consists of seven main modules: skew angle estimat...
126
click to vote
TIP
2002
15 years 1 months ago
2002
This paper proposes the localization algorithm that estimates translation parameters of an aircraft by comparing the sampled elevation map recovered from aerial sequence images, an...
107
Voted
ALGORITHMICA
2010
15 years 1 months ago
2010
We consider a graph with n vertices, and p < n pebbles of m colors. A pebble move consists of transferring a pebble from its current host vertex to an adjacent unoccupied verte...