Reuse of Specification Patterns with the B Method
Sandrine BlazyFrédéric GervaisRégine LaleauPublished in: CoRR (2006)
Keyphrases
- high accuracy
- similarity measure
- preprocessing
- cost function
- machine learning
- theoretical analysis
- optimization method
- high precision
- prior knowledge
- detection method
- clustering method
- experimental evaluation
- detection algorithm
- computationally efficient
- probabilistic model
- segmentation method
- input data
- support vector machine
- dynamic programming
- significant improvement
- high dimensional
- video sequences
- high level