Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.
Flávio L. C. de MouraMauricio Ayala-RincónFairouz KamareddinePublished in: J. Appl. Log. (2008)
Keyphrases
- higher order
- pairwise
- objective function
- significant improvement
- high order
- detection method
- synthetic data
- high accuracy
- high precision
- fully automatic
- main contribution
- feature set
- support vector machine
- cost function
- evaluation method
- segmentation method
- lower order
- structural information
- machine learning
- clustering method
- optimization algorithm
- computationally efficient
- probabilistic model
- computational cost
- experimental evaluation
- dynamic programming
- evolutionary algorithm
- preprocessing
- similarity measure