Sciweavers

3214 search results - page 35 / 643
» The Space of Human Shapes
Sort
View
ICTAC
2004
Springer
15 years 7 months ago
A Calculus for Shapes in Time and Space
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
Andreas Schäfer
VC
1998
34views more  VC 1998»
15 years 1 months ago
Transformation of functionally defined shapes by extended space mappings
Vladimir V. Savchenko, Alexander A. Pasko