Compositional Class Refinement in Object-Z.

Tim McComb Graeme Smith

Published in: FM (2006)

Keyphrases

object classes
intra class
complex objects
d objects
information retrieval
search engine
object instances
neural network
genetic algorithm
learning algorithm
viewpoint
complex scenes