A Unification-Theoretic Method for Investigating the k-Provability Problem.
William M. FarmerPublished in: Ann. Pure Appl. Log. (1991)
Keyphrases
- cost function
- experimental evaluation
- high accuracy
- feature set
- objective function
- preprocessing
- significant improvement
- computational cost
- high precision
- energy function
- pairwise
- main contribution
- fully automatic
- data sets
- synthetic data
- clustering method
- theoretical analysis
- computationally efficient
- edge detection
- similarity measure
- face recognition
- computer vision