Correctness of Procedure Representations in Higher-Order Assembly Language.
Mitchell WandPublished in: MFPS (1991)
Keyphrases
- higher order
- lambda calculus
- high order
- programming language
- markov random field
- natural images
- pairwise
- language learning
- computational linguistics
- multiple representations
- conditional random fields
- databases
- semantic representations
- natural language
- conceptual representation
- visually guided
- higher level
- object oriented programming
- language processing
- information extraction
- information systems
- artificial intelligence
- information retrieval