A Note on Higher-Order Functions Versus Logical Variables.
F. Warren BurtonPublished in: Inf. Process. Lett. (1989)
Keyphrases
- higher order
- lambda calculus
- lower order
- auxiliary variables
- markov random field
- natural images
- variable selection
- linear functions
- discrete variables
- truth values
- random variables
- weight matrices
- logical representation
- high order
- database
- artificial neural networks
- pairwise
- objective function
- case study
- information retrieval
- data sets