Enabling analysis for Event-B.

Ivaylo Dobrikov Michael Leuschel

Published in: Sci. Comput. Program. (2018)

Keyphrases

three dimensional
pattern recognition
real time
computer vision
feature selection
decision making
multimedia
wide range
image analysis
probabilistic model
statistical analysis
news stories
complex events