Developing topology discovery in Event-B.

Thai Son Hoang Hironobu Kuruma David A. Basin Jean-Raymond Abrial

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

Keyphrases

event detection
data sets
complex events
real time
neural network
data mining
machine learning
social networks
feature selection
search algorithm
spatio temporal
knowledge discovery