28445 search results - page 140 / 5689 » Anatomically based modeling |
FSTTCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
—Accurate models of the feel of physical objects are essential to improving the realism of haptic simulations. This paper presents a method for automatically obtaining experiment...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
A model based approach for rectifying the camera image of the bound document has been developed, i.e., the surface of the document is represented by a general cylindrical surface....
SERP
2007
13 years 11 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...