Visualising Event-B Models with B-Motion Studio.

Lukas Ladenberger Jens Bendisposto Michael Leuschel

Published in: FMICS (2009)

Keyphrases

prior knowledge
probabilistic model
space time
data sets
learning algorithm
optical flow
motion estimation
neural network
computer vision
parameter estimation