Monitoring of Temporal First-Order Properties with Aggregations.
David A. BasinFelix KlaedtkeSrdjan MarinovicEugen ZalinescuPublished in: RV (2013)
Keyphrases
- temporal properties
- monitoring system
- spatio temporal
- temporal evolution
- temporal information
- temporal data
- spatial and temporal
- first order logic
- linear temporal logic
- temporal reasoning
- decision support
- database systems
- space time
- multi dimensional
- higher order
- data model
- video sequences
- structural properties
- temporal constraints
- desirable properties
- similarity measure
- website
- temporal characteristics
- database