Beagle as a HOL4 external ATP method.
Thibault GauthierCezary KaliszykChantal KellerMichael NorrishPublished in: PAAR@IJCAR (2014)
Keyphrases
- high precision
- synthetic data
- multiscale
- classification accuracy
- computational cost
- pairwise
- machine learning
- classification method
- input data
- high accuracy
- experimental evaluation
- dynamic programming
- significant improvement
- preprocessing
- similarity measure
- evaluation method
- cost function
- optimization method
- neural network
- feature selection
- mathematical model
- segmentation method
- knowledge base
- error rate
- clustering method
- optimization algorithm
- medical images
- objective function
- support vector machine
- feature space
- multiresolution