(Co-)Iteration for Higher-Order Nested Datatypes.
Andreas AbelRalph MatthesPublished in: TYPES (2002)
Keyphrases
- data types
- higher order
- data model
- high order
- database systems
- data structure
- natural images
- user defined
- database management systems
- pairwise
- databases
- markov models
- markov random field
- lower order
- low order
- neural network
- data analysis
- objective function
- hierarchical data
- nested relations
- lambda calculus
- real time
- first order logic
- conditional random fields
- data warehouse
- preprocessing
- artificial intelligence