Verifying the compatibility of component interfaces using the B formal method.
Jeanine SouquièresSamir ChoualiPublished in: Software Engineering Research and Practice (2005)
Keyphrases
- high accuracy
- significant improvement
- experimental evaluation
- experimental study
- computational complexity
- detection method
- prior knowledge
- cost function
- neural network
- support vector machine
- optimization method
- segmentation method
- support vector machine svm
- theoretical analysis
- computationally efficient
- model selection
- input data
- dynamic programming
- feature space
- objective function
- face recognition
- feature selection