A Compact Encoding of Sequential ASMs in Event-B.

Michael Leuschel Egon Börger

Published in: ABZ (2016)

Keyphrases

event detection
binary trees
active shape model
encoding scheme
database
neural network
genetic algorithm
decision trees
news articles
fractal image compression
video event
encoding schemes
condition action rules