Equality Elimination for the Tableau Method.
Anatoli DegtyarevAndrei VoronkovPublished in: DISCO (1996)
Keyphrases
- experimental evaluation
- neural network
- main contribution
- classification method
- pairwise
- significant improvement
- error rate
- detection method
- similarity measure
- optimization method
- matching algorithm
- computationally efficient
- cost function
- objective function
- high accuracy
- theoretical analysis
- support vector machine
- support vector machine svm
- knowledge representation
- computational cost
- preprocessing
- fully automatic