A Formal Method for Providing Temporal Equivalence in Binary-to-Binary Translation of Real-Time Applications.
Inkyu KimZary SegallPublished in: RTSS (2000)
Keyphrases
- real time
- significant improvement
- high precision
- dynamic programming
- detection method
- high accuracy
- edge detection
- binary representation
- hamming distance
- segmentation method
- synthetic data
- computational cost
- experimental evaluation
- cost function
- support vector machine
- model selection
- training samples
- support vector machine svm
- classification accuracy
- classification method
- color images
- machine translation system
- data sets