A New Method for Undecidablity Proofs of First Order Theories.
Ralf TreinenPublished in: J. Symb. Comput. (1992)
Keyphrases
- segmentation method
- clustering method
- computational cost
- high precision
- detection method
- detection algorithm
- higher order
- classification accuracy
- dynamic programming
- significant improvement
- preprocessing
- similarity measure
- cost function
- prior knowledge
- decision trees
- training set
- theoretical analysis
- main contribution
- support vector machine svm
- optimization algorithm
- objective function
- training data
- feature extraction
- image segmentation