Modelling and Verification of PREMO Synchronisable Objects.

Giorgio P. Faconti Mieke Massink

Published in: Formal Aspects Comput. (1998)

Keyphrases

d objects
complex scenes
object models
computer vision
object recognition
model checking
data objects
formal verification
neural network
decision trees
viewpoint
multiple objects
digital objects
object level
fingerprint verification