JBTools: an experimental platform for the formal B method.
Jean-Christophe VoisinetPublished in: PPPJ/IRE (2002)
Keyphrases
- classification method
- genetic algorithm
- main contribution
- objective function
- experimental study
- synthetic data
- significant improvement
- high accuracy
- fully automatic
- detection algorithm
- optimization algorithm
- theoretical analysis
- computationally efficient
- edge detection
- probabilistic model
- computational cost
- cost function
- pairwise
- computational complexity
- similarity measure
- optical flow
- clustering method
- preprocessing
- training data