Keyphrases
- event detection
- reactive systems
- temporal logic
- model checking
- information flow
- formal methods
- video event detection
- petri net
- event recognition
- activity recognition
- control flow
- video surveillance
- query language
- video analysis
- data model
- semantic event detection
- real time systems
- sports video
- database systems
- text mining
- object oriented
- soccer video
- composite events
- computer vision
- social networks