A Proposal for Records in Event-B.

Neil Evans Michael J. Butler

Published in: FM (2006)

Keyphrases

event detection
record linkage
database
event recognition
artificial intelligence
e learning
news stories
data records
databases
computer vision
information systems
database systems
relational databases
video analysis
real world events
events occurring