Sciweavers

1554 search results - page 174 / 311
» Testing Polymorphic Behavior
Sort
View
AIIA
2007
Springer
14 years 2 months ago
A 3D Virtual Model of the Knee Driven by EMG Signals
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
Massimo Sartori, Gaetano Chemello, Enrico Pagello
ICCS
2007
Springer
14 years 2 months ago
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
Shoupeng Han, Kedi Huang
TSD
2007
Springer
14 years 2 months ago
ECAF: Authoring Language for Embodied Conversational Agents
Abstract. Embodied Conversational Agent (ECA) is the user interface metaphor that allows to naturally communicate information during human-computer interaction in synergic modality...
Ladislav Kunc, Jan Kleindienst
DATE
2006
IEEE
82views Hardware» more  DATE 2006»
14 years 1 months ago
Value-based bit ordering for energy optimization of on-chip global signal buses
In this paper, we present a technique that exploits the statistical behavior of data values transmitted on global signal buses to determine an energy-efficient ordering of bits t...
Krishnan Sundaresan, Nihar R. Mahapatra
ICRA
2006
IEEE
118views Robotics» more  ICRA 2006»
14 years 1 months ago
Motion Planning for Robotic Manipulation of Deformable Linear Objects
— Research on robotic manipulation has mainly focused on manipulating rigid objects so far. However, many important application domains require manipulating deformable objects, e...
Mitul Saha, Pekka Isto