Linking Object-Z with Spec#.

Shengchao Qin Guanhua He

Published in: ICECCS (2007)

Keyphrases

complex objects
computer vision
d objects
spatial relations
viewpoint
object model
multiple objects
database
databases
neural network
moving objects
data objects
partial occlusion