A Graph-Based Method for Timing Diagrams Representation and Verification.
Viktor CingelPublished in: CHARME (1993)
Keyphrases
- experimental evaluation
- high accuracy
- high precision
- preprocessing
- computational cost
- detection method
- significant improvement
- cost function
- clustering method
- verification method
- computationally efficient
- pairwise
- image representation
- probabilistic model
- dynamic programming
- error rate
- segmentation method
- objective function
- graph based algorithm
- similarity measure