Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.
Santiago Zanella BéguelinPublished in: CASSIS (2005)
Keyphrases
- high accuracy
- high precision
- significant improvement
- fully automatic
- high level
- edge detection
- computational complexity
- experimental evaluation
- cost function
- evaluation method
- detection method
- support vector machine svm
- computational cost
- genetic algorithm
- image processing
- preprocessing
- objective function
- input data
- neural network
- classification method
- segmentation method
- clustering algorithm
- feature extraction
- theoretical analysis
- level set
- feature vectors
- similarity measure
- low cost
- knn
- support vector
- data sets
- pairwise
- k means