222 search results - page 5 / 45 » A Calculus for Shapes in Time and Space |
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
ICIAP
2005
ACM
15 years 3 months ago
2005
ACM
We are researching for real-time hand shape estimation, which we are going to apply to user interface and interactive applications. We have employed a computer vision approach, sin...
CA
2000
IEEE
15 years 1 months ago
2000
IEEE
There are limitations to the current BRep based “model then animate” paradigm when animating time-dependent (dynamic) objects. This paper describes an approach to modeling dyn...
DGCI
2009
Springer
15 years 23 days ago
2009
Springer
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper is concerned with the problem of dynamically reconstructing the 3D surface of an object undergoing non-rigid motion. The problem is cast as reconstructing a continuous ...