Guaranteeing liveness in an object calculus through behavioural typing.

Elie Najm Abdelkrim Nimour Jean-Bernard Stefani

Published in: FORTE (1999)

Keyphrases

d objects
complex objects
neural network
multiple objects
object identification
real time
moving objects
viewpoint
query language
object detection
object tracking
spatial relationships
object segmentation
object model