Certification of microprograms by an algebraic method.
Andrzej BlikleStanislaw BudkowskiPublished in: MICRO (1976)
Keyphrases
- pairwise
- dynamic programming
- experimental evaluation
- high accuracy
- computationally efficient
- main contribution
- database
- fully automatic
- high precision
- classification method
- significant improvement
- input data
- theoretical analysis
- detection algorithm
- optimization method
- synthetic data
- detection method
- prior knowledge
- preprocessing
- objective function
- training data
- computer vision