319 search results - page 40 / 64 » Improved Model Checking of Hierarchical Systems |
EUSFLAT
2009
13 years 7 months ago
2009
The study of human behavior during driving is of primary importance for the improvement of drivers' security. This study is complex because of numerous situations in which the...
ICIP
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper analyzes the movements of the human body limbs (hands, feet and head) and center of gravity in order to detect simple actions such as walking, jumping and displacing an...
EKAW
2004
Springer
14 years 3 months ago
2004
Springer
Hierarchical categorization is a powerful and convenient method so that it is commonly used in various areas, such as ontologies. Although each hierarchy is useful, there are probl...
IROS
2006
IEEE
2006
IEEE
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
14 years 3 months ago
Training of motor skill through machine-mediated method is a promising way to improve complex dexterous manipulation skill. New method of fusion between human motor skill and machi...
ECOOPW
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...