Refinement in Z and object-Z: foundations and advanced applications.

Perdita Stevens

Published in: Softw. Test. Verification Reliab. (2002)

Keyphrases

d objects
database systems
object model
real world
artificial intelligence
moving objects
optical flow
input image
complex objects
similar objects
database
deformable objects
digital objects
target object
multiple objects
spatial relations
viewpoint
feature space
digital libraries
decision trees
data sets