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

Juan Bicarregui Brian Ritchie

Published in: IEEE Trans. Software Eng. (1995)

Keyphrases

neural network
case study
levels of abstraction
computer vision
object recognition
moving objects
super resolution
statistical analysis
frame rate
single frame
temporal coherence