891 search results - page 76 / 179 » Full Abstraction for PCF |
TROB
2002
13 years 7 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
TROB
2002
13 years 7 months ago
2002
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
TODAES
2008
13 years 7 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
EUROMED
2010
13 years 6 months ago
2010
Abstract. The “E.Stone” project is based on the survey, documentation investigation and physical, geochemical and petrographic characterisation of the great zoomorphic and phyt...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— This paper introduces a novel robotic finger concept for variable impedance grasping in unstructured tasks. A brief literature survey reveals the need for minimal comp...