Semi-automatic complexity analysis of a higher-order language
Norman DannerJennifer PaykinJames S. RoyerPublished in: CoRR (2012)
Keyphrases
- semi automatic
- complexity analysis
- higher order
- fully automatic
- theoretical analysis
- programming language
- high order
- lambda calculus
- semi automatically
- gold standard
- domain ontology
- lower bound
- natural language
- computational complexity
- wrapper generation
- labor intensive
- ontology mapping
- pairwise
- design rationale
- website
- markov random field
- semantic annotation
- ontology construction
- machine learning
- ontology development
- conceptual graphs
- fully automated
- expert systems
- first order logic