A Formal Framework for Hybrid Event B.

Jie Liu Jing Liu

Published in: Electron. Notes Theor. Comput. Sci. (2014)

Keyphrases

social networks
probabilistic model
lightweight
theoretical framework
event detection
database
data sets
neural network
case study
image sequences
face recognition
logic programs
computational model
process model
conceptual framework