1270 search results - page 100 / 254 » IF Validation Environment Tutorial |
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
ROBOTICA
2006
13 years 10 months ago
2006
The paper considers a technique for computation of the inverse kinematic model of the human arm for robot based rehabilitation that uses measurements of the hand position and orie...
TEC
2008
13 years 10 months ago
2008
Abstract--In previous research, we have designed and successfully tested a Traffic Light Cycles Evolutionary Optimization Architecture. In this paper, we attempt to validate those ...
TROB
2008
13 years 10 months ago
2008
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...
AC
2002
Springer
13 years 10 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...