Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations.

Juan Bicarregui Brian Ritchie

Published in: FME (1993)

Keyphrases

decision trees
pattern recognition
image frames
moment invariants
learning algorithm
image processing
three dimensional
moving objects