Sciweavers

32 search results - page 7 / 7
» Combining planning techniques for manipulation using realtim...
Sort
View
SMA
2005
ACM
239views Solid Modeling» more  SMA 2005»
13 years 10 months ago
Bender: a virtual ribbon for deforming 3D shapes in biomedical and styling applications
In contrast to machined mechanical parts, the 3D shapes encountered in biomedical or styling applications contain many tubular parts, protrusions, engravings, embossings, folds, a...
Ignacio Llamas, Alexander Powell, Jarek Rossignac,...
EMSOFT
2008
Springer
13 years 6 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya