Verifying the Precedence Property Pattern Using the B Method.
Amel MammarMarc FrappierPublished in: HASE (2014)
Keyphrases
- high accuracy
- detection method
- synthetic data
- main contribution
- significant improvement
- experimental evaluation
- similarity measure
- preprocessing
- em algorithm
- evaluation method
- high precision
- classification method
- mathematical model
- computationally efficient
- dynamic programming
- machine learning
- pairwise
- neural network
- classification accuracy
- optimization method
- image sequences
- objective function
- segmentation method
- computational complexity
- clustering method
- optimization algorithm
- support vector machine svm
- prior knowledge
- theoretical analysis
- cost function
- model selection
- data sets