Developing BON as an Industrial-Strength Formal Method.
Richard F. PaigeJonathan S. OstroffPublished in: World Congress on Formal Methods (1999)
Keyphrases
- high precision
- synthetic data
- preprocessing
- dynamic programming
- optimization algorithm
- main contribution
- support vector machine
- optimization method
- theoretical analysis
- machine learning
- significant improvement
- prior knowledge
- pairwise
- multiscale
- computational cost
- mutual information
- support vector machine svm
- support vector
- error rate
- video sequences
- mathematical model
- matching algorithm
- objective function