Core Hybrid Event-B I: Single Hybrid Event-B machines.

Richard Banach Michael J. Butler Shengchao Qin Nitika Verma Huibiao Zhu

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

Keyphrases

event detection
bayesian networks
database
feature selection
news articles
information retrieval
information systems
decision trees
image sequences
expert systems
event sequences
video event