Incremental System Modelling in Event-B.

Stefan Hallerstede

Published in: FMCO (2008)

Keyphrases

event detection
incremental learning
incremental version
event recognition
data driven
incremental clustering
event driven
news articles
spatio temporal
information extraction
real world
relational databases
image segmentation
case study
multimedia
knowledge base
search engine
machine learning