A Method for Verifying Real-Time Properties of Ada Programs.
Thorsten GerdsmeierRachel Cardell-OliverPublished in: ICECCS (2001)
Keyphrases
- model checking
- real time
- cost function
- segmentation method
- fully automatic
- high precision
- detection method
- high accuracy
- classification accuracy
- genetic algorithm
- synthetic data
- computationally efficient
- experimental evaluation
- pairwise
- preprocessing
- support vector
- principal component analysis
- significant improvement
- feature set
- mutual information
- theoretical analysis
- computational complexity
- classification method
- objective function
- similarity measure
- computer vision
- evaluation method
- video rate