1863 search results - page 215 / 373 » Unifying Theories of Objects |
ISMVL
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we describe the properties of independent components of optical ow of moving objects. Video sequences of objects seen by an observer moving at various angles, direct...
FM
1999
Springer
14 years 1 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
Dextrous manipulation planning is a problem of paramount importance in the study of multi ngered robotic hands. In this paper, we show in general, that all system variables the ng...
PLDI
1997
ACM
14 years 1 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
COMPGEOM
2007
ACM
14 years 1 months ago
2007
ACM
We illustrate a simple algorithm for approximating the medial axis of a 2D shape with smooth boundary from a sample of this boundary. The algorithm is compared to a more general a...