A Method for Verification of Trace and Test Equivalence.
Ivan ChristoffPublished in: Automatic Verification Methods for Finite State Systems (1989)
Keyphrases
- cost function
- high accuracy
- detection method
- clustering method
- synthetic data
- evaluation method
- computational complexity
- test data
- classification accuracy
- error rate
- input data
- mutual information
- optimization method
- segmentation algorithm
- theoretical analysis
- similarity measure
- d objects
- computational cost
- experimental evaluation
- prior knowledge
- multiscale