Specifying Parallel and Distributed Systems in Object-Z.

Jin Song Dong Lin Zucconi Roger Duke

Published in: PDSE (1997)

Keyphrases

moving objects
d objects
object model
complex objects
deformable objects
decision trees
spatial relationships
keypoints
object position
real world
object localization
appearance model
multiscale
face recognition
three dimensional
image processing
search engine
information retrieval