Keyphrases
- concurrent systems
- belief revision
- atomic actions
- temporal logic
- human activity recognition
- context sensitive
- action detection
- action recognition
- human activities
- temporal structure
- temporal relations
- distributed systems
- video data
- model checking
- petri net
- formal specification
- low level features
- spatio temporal
- event recognition
- activity recognition
- human computer interaction
- video sequences
- information retrieval