An Efficient Proof Method for Non-clausal Reasoning.
Edgar AltamiranoGonzalo Escalada-ImazPublished in: ISMIS (2000)
Keyphrases
- preprocessing
- high accuracy
- neural network
- cost function
- computational cost
- segmentation method
- computationally efficient
- detection method
- knowledge base
- significant improvement
- experimental evaluation
- high precision
- synthetic data
- reasoning systems
- data sets
- support vector machine
- probabilistic model
- image segmentation