6020 search results - page 42 / 1204 » A New Approach to Model Counting |
129
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper presents a robust model-based visual tracking algorithm that can give accurate 3D pose of a rigid object. Our tracking algorithm uses an incremental pose update sche...
138
click to vote
CRV
2004
IEEE
15 years 5 months ago
2004
IEEE
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
102
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
The problem of expressing and solving satisfiability problems (SAT) with qualitative preferences is central in many areas of Computer Science and Artificial Intelligence. In previo...
134
click to vote
FGR
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper discusses a novel approach for capturing and translating isolated gestures of American Sign Language into spoken and written words. The instrumented part of the system ...
121
click to vote
NC
2008
15 years 1 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...