Sciweavers

3214 search results - page 35 / 643
» The Space of Human Shapes
Sort
View
ICTAC
2004
Springer
14 years 2 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»
13 years 8 months ago
Transformation of functionally defined shapes by extended space mappings
Vladimir V. Savchenko, Alexander A. Pasko