Interpreting the B-Method in the Refinement Calculus.
Yann RouzaudPublished in: World Congress on Formal Methods (1999)
Keyphrases
- evaluation method
- theoretical analysis
- main contribution
- high accuracy
- computational cost
- significant improvement
- cost function
- optimization algorithm
- error rate
- synthetic data
- preprocessing
- high precision
- search engine
- detection method
- experimental study
- segmentation method
- fully automatic
- em algorithm
- experimental evaluation
- pairwise
- objective function
- neural network
- image quality
- computationally efficient
- mutual information
- feature set
- support vector machine svm
- classification accuracy
- clustering method
- dynamic programming
- multiresolution
- computational complexity
- matching algorithm
- video sequences