A Graphical Tool for Event Refinement Structures in Event-B.

Dana Dghaym Matheus Garay Trindade Michael J. Butler Asieh Salehi Fathabadi

Published in: ABZ (2016)

Keyphrases

event detection
video event
complex events
event recognition
multiscale
event driven
temporal patterns
user friendly
abnormal events
temporal events
news articles
real time
query processing
three dimensional
decision making
genetic algorithm
neural network
data sets