Verified Compilation and the B Method: A Proposal and a First Appraisal.
Bartira DantasDavid DéharbeStephenson GalvãoAnamaria Martins MoreiraValério Medeiros JúniorPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- experimental evaluation
- detection method
- preprocessing
- main contribution
- computational cost
- synthetic data
- classification accuracy
- support vector machine svm
- data sets
- classification method
- clustering method
- detection algorithm
- error rate
- dynamic programming
- prior knowledge
- pairwise
- high precision
- face recognition
- matching algorithm
- edge detection
- evaluation method
- mutual information
- feature set
- wavelet transform
- probabilistic model
- reinforcement learning
- information retrieval