3134 search results - page 102 / 627 » Computing full disjunctions |
133
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— A mobile robot that accomplishes high level tasks needs to be able to classify the objects in the environment and to determine their location. In this paper, we address the pro...
118
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a promising analysis on using the pattern of symmetry in the face to increase the accuracy of three-dimensional face recognition. We introduce the concept of the ‘ave...
139
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
In previous work, it has been shown how to solve atomic broadcast by reduction to consensus on messages. While this solution is theoretically correct, it has its limitations in pr...
110
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
An efficient motion-estimation algorithm based on partial block distortion using sorted significant features including bit-plane and mean is proposed. The proposed algorithm can o...