Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions.
Sylvain BoulméMarie-Laure PotetPublished in: B (2007)
Keyphrases
- high accuracy
- fully automatic
- probabilistic model
- experimental evaluation
- support vector machine svm
- theoretical analysis
- computationally efficient
- edge detection
- cost function
- pairwise
- preprocessing
- detection method
- genetic algorithm
- matching algorithm
- classification method
- high precision
- segmentation method
- semi supervised
- dynamic programming
- k means
- objective function
- similarity measure
- computer vision
- learning algorithm