Equality-free Logic: The Method of Diagrams and Preservation Theorems.
Pilar DellundePublished in: Log. J. IGPL (1999)
Keyphrases
- detection method
- fully automatic
- significant improvement
- high accuracy
- cost function
- machine learning
- main contribution
- synthetic data
- dynamic programming
- computational cost
- theoretical analysis
- support vector machine svm
- high precision
- pairwise
- experimental evaluation
- support vector
- classification method
- similarity measure