Automated Temporal Verification of Integrated Dependent Effects.
Yahui SongWei-Ngan ChinPublished in: ICFEM (2020)
Keyphrases
- temporal information
- spatial and temporal
- temporal constraints
- temporal data
- computer assisted
- semi automated
- temporal consistency
- case study
- spatio temporal
- face verification
- temporal reasoning
- temporal characteristics
- computer based instruction
- neural network
- hidden markov models
- website
- genetic algorithm
- formal analysis
- automated analysis
- computer vision