A Logical Theory of Concurrent Objects.

Published in: OOPSLA/ECOOP (1990)

Keyphrases

object level
d objects
spatial relations
logical properties
data objects
complex scenes
databases
image sequences
moving objects
theoretical framework
keypoints
object classes
bounding box
individual objects