An Event-B Interpretation for SPARDL Model.

Jianwen Li Zheng Wang Yongxin Zhao Geguang Pu Yanxia Qi Bin Gu

Published in: HASE (2011)

Keyphrases

mathematical model
high level
theoretical analysis
computational model
statistical model
real time
management system
input data
prediction model
image sequences
cost function
d objects
experimental data
event detection