Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.

Richard Banach Michael J. Butler Shengchao Qin Huibiao Zhu

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

Keyphrases

event detection
news articles
machine learning
neural network
information retrieval
event recognition
abnormal events
hybrid approaches
database
real world
multimedia
cooperative
temporal patterns