A Method for Verifying Properties of Modechart Specifications.
Farnam JahanianDouglas A. StuartPublished in: RTSS (1988)
Keyphrases
- experimental evaluation
- computational cost
- high accuracy
- computational complexity
- preprocessing
- detection method
- support vector machine svm
- error rate
- significant improvement
- dynamic programming
- main contribution
- classification method
- machine learning
- experimental study
- clustering method
- optimization algorithm
- classification accuracy
- cost function
- prior knowledge
- multiresolution
- high level
- learning algorithm