Proving the Absence Property Pattern Using the B Method.
Amel MammarMarc FrappierRaphaël Chane-Yack-FaPublished in: HASE (2012)
Keyphrases
- high precision
- experimental study
- experimental evaluation
- detection method
- pairwise
- input data
- segmentation method
- synthetic data
- error rate
- clustering method
- detection algorithm
- significant improvement
- prior knowledge
- objective function
- high accuracy
- data sets
- em algorithm
- support vector machine svm
- neural network
- cost function
- matching algorithm
- tree structure
- mathematical model
- data mining
- face recognition
- support vector
- preprocessing
- high dimensional
- optimization algorithm
- computationally efficient
- edge detection