23 search results - page 5 / 5 » Re-usable kinematic models and algorithms for manipulators a... |
VISUALIZATION
1995
IEEE
13 years 9 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
VRML
1999
ACM
13 years 10 months ago
1999
ACM
VRML is a file format for the description of dynamic scene graphs containing 3D objects with their visual appearance, multimedia content, an event model, and scripting capabilitie...
TACAS
1998
Springer
13 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...