Modelling 'Operation-Calls' in Event-B with Shared-Event Composition.

Andrew Edmunds Marina Waldén

Published in: SBMF (2016)

Keyphrases

event detection
real time
databases
neural network
event driven
stream processing
soccer video
complex events
real world
artificial intelligence
knowledge base
case study
event recognition
video event
events occur