Sciweavers

10916 search results - page 1860 / 2184
» On Constructive Connectives and Systems
Sort
View
VR
2009
IEEE
228views Virtual Reality» more  VR 2009»
16 years 1 months ago
Natural Eye Motion Synthesis by Modeling Gaze-Head Coupling
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
Xiaohan Ma, Zhigang Deng
ICRA
2009
IEEE
166views Robotics» more  ICRA 2009»
16 years 1 months ago
Anatomically correct testbed hand control: Muscle and joint control strategies
— Human hands are capable of many dexterous grasping and manipulation tasks. To understand human levels of dexterity and to achieve it with robotic hands, we constructed an anato...
Ashish Deshpande, Jonathan Ko, Dieter Fox, Yoky Ma...
ICSM
2009
IEEE
16 years 1 months ago
Introducing a test suite similarity metric for event sequence-based test cases
Most of today’s event driven software (EDS) systems are tested using test cases that are carefully constructed as sequences of events; they test the execution of an event in the...
Penelope A. Brooks, Atif M. Memon
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 1 months ago
A stream-based hierarchical anchoring framework
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
ISORC
2009
IEEE
16 years 1 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
« Prev « First page 1860 / 2184 Last » Next »