Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.
Susumu NishimuraPublished in: APLAS (2003)
Keyphrases
- higher order
- reasoning process
- high order
- relational data
- reasoning systems
- markov random field
- natural images
- automated reasoning
- knowledge base
- pairwise
- relational databases
- low order
- data model
- uncertain information
- linear transformation
- conditional random fields
- lower order
- spatial reasoning
- meta level
- knowledge representation
- machine learning
- complex objects
- database
- artificial intelligence
- learning algorithm