Verifying Reasoner Correctness - A Justication Based Method.
Michael LeeNicolas MatentzogluUli SattlerBijan ParsiaPublished in: ORE (2015)
Keyphrases
- preprocessing
- high accuracy
- significant improvement
- optimization method
- fully automatic
- experimental evaluation
- support vector machine
- computationally efficient
- main contribution
- experimental study
- theoretical analysis
- high precision
- segmentation method
- energy function
- error rate
- detection method
- clustering method
- optimization algorithm
- genetic algorithm
- mutual information
- probabilistic model
- multiresolution
- similarity measure