208 search results - page 17 / 42 » Performance evaluation and model checking join forces |
BC
2004
13 years 7 months ago
2004
We develop a simple hexapedal model for the dynamics of insect locomotion in the horizontal plane. Each leg is a linear spring endowed with two inputs, controlling force-free lengt...
SIGGRAPH
1996
ACM
13 years 11 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Multi-fingers haptic device that enables multiple point of contact is essential for medical education. There is a strong need for palpation training in the detection of subsurface...
GRID
2003
Springer
14 years 26 days ago
2003
Springer
We are developing a grid information service, RGIS, that is based on the relational data model. RGIS supports complex queries written in SQL that search for compositions (using jo...