A New Method for Undecidability Proofs of First Order Theories.
Ralf TreinenPublished in: FSTTCS (1990)
Keyphrases
- high accuracy
- fully automatic
- similarity measure
- objective function
- higher order
- synthetic data
- support vector machine svm
- support vector machine
- probabilistic model
- classification method
- clustering method
- parameter estimation
- experimental evaluation
- cost function
- pairwise
- data sets
- significant improvement
- artificial neural networks
- clustering algorithm
- knowledge base
- high precision
- neural network