Refinement for Pipelining in Event-B.

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

Keyphrases

event detection
video event
event recognition
event driven
case study
data sets
fine grain
query refinement
parallel processing
search algorithm
activity recognition
evolutionary algorithm
database
image segmentation
social networks
machine learning
data mining
databases
real time