The use of types in designing unification algorithms: two case studies.
Serdar ErbaturSantiago EscobarPaliath NarendranPublished in: UNIF (2012)
Keyphrases
- case study
- computational cost
- significant improvement
- recently developed
- computationally efficient
- orders of magnitude
- higher order
- lessons learned
- convergence rate
- learning algorithm
- computational efficiency
- classification algorithm
- machine learning algorithms
- theoretical analysis
- data mining techniques
- optimization problems
- search engine