Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events.
Syrine AouadiArnaud LanoixPublished in: MEDI Workshops (2018)
Keyphrases
- event detection
- complex events
- event recognition
- event sequences
- temporal events
- composite events
- event models
- events occurring
- event processing
- event logs
- temporal patterns
- events occur
- primitive events
- news events
- event types
- temporal relations
- real world events
- video event
- video event detection
- event streams
- lower bound
- time stamped
- abnormal events
- soccer video
- probabilistic model
- uncertain data
- temporal relationships
- news stories
- news articles
- temporal information
- upper bound
- temporal context
- reliability analysis
- unusual events
- event related
- generative model
- worst case
- bayesian networks
- extreme events
- temporal structure
- stream processing
- event driven
- temporal constraints
- conditional probabilities
- spatio temporal
- news reports