A Method for Compiling and Executing Expressive Assertions.
Francisco José Galán MorilloJosé Miguel Cañete ValdeónPublished in: IFM (2004)
Keyphrases
- synthetic data
- high accuracy
- pairwise
- computationally efficient
- cost function
- experimental evaluation
- detection method
- simulated annealing
- optimization algorithm
- main contribution
- objective function
- high precision
- classification method
- statistical model
- experimental study
- clustering method
- computational cost
- preprocessing
- machine learning
- theoretical analysis
- support vector machine svm
- model selection
- image registration
- classification accuracy
- error rate
- significant improvement
- matching algorithm
- computational complexity
- fully automatic