A New Perspective on Formal Testing Method for Real-Time Software.
Jin-Cherng LinIan HoPublished in: EUROMICRO (2000)
Keyphrases
- real time
- pairwise
- clustering method
- optimization algorithm
- experimental evaluation
- classification method
- synthetic data
- error rate
- detection method
- support vector machine svm
- computationally efficient
- high accuracy
- computational cost
- significant improvement
- test data
- high precision
- computational complexity
- optimization method
- video rate
- segmentation method
- software systems
- test cases
- classification accuracy
- prior knowledge
- k means
- feature selection
- neural network