865 search results - page 62 / 173 » Uncertainty Reduction Using Dynamics |
101
click to vote
AAAI
2000
15 years 3 months ago
2000
This paper presents an implemented system, called LEONARD, that classifies simple spatial motion events, such as pick up and put down, from video input. Unlike previous systems th...
112
Voted
ISPD
2009
ACM
15 years 9 months ago
2009
ACM
Glitches (spurious transitions) are common in electronic circuits. In this paper we present a novel approach to reduce dynamic power in FPGAs by reducing glitches during the routi...
118
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— The reduction of the kinematics and/or dynamics of a high-DOF robotic manipulator to a low-dimension “task space” has proven to be an invaluable tool for designing feedback...
121
click to vote
AIML
2006
15 years 3 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
132
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...