1716 search results - page 214 / 344 » Proving Conditional Termination |
105
Voted
ICARCV
2006
IEEE
15 years 7 months ago
2006
IEEE
– This paper presents a localization strategy for vehicles in urban environments by mapping and updating natural landmarks provided by a 2D ladar (laser range scanner) when GPS d...
78
Voted
ICDCSW
2006
IEEE
15 years 7 months ago
2006
IEEE
Reputation-based mechanisms and policies are vulnerable to the submission of untruthful ratings. In this paper, we define and analyze a game-theoretic model that captures the dyn...
107
Voted
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...
79
Voted
SIBGRAPI
2006
IEEE
15 years 7 months ago
2006
IEEE
Scale dependent signal representations have proved to be useful in several image processing applications. In this paper, we define a toggle operator for binarization/segmentation...
110
Voted
SKG
2006
IEEE
15 years 7 months ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...