Formal method for self-timed design.
Michael KishinevskyAlex KondratyevAlexander TaubinPublished in: EURO-DAC (1991)
Keyphrases
- high accuracy
- fully automatic
- support vector machine svm
- objective function
- high precision
- mathematical model
- clustering method
- cost function
- support vector machine
- evaluation method
- optimization method
- matching algorithm
- segmentation method
- detection method
- multi objective
- significant improvement
- artificial neural networks
- preprocessing
- probabilistic model
- experimental evaluation
- optimization algorithm
- multiresolution
- computational complexity
- image processing
- knowledge base
- data sets