Keyphrases
- expressive power
- high dynamic range
- image interpolation
- modal logic
- linear interpolation
- neural network
- edge directed
- interpolation methods
- nonmonotonic logics
- interpolation method
- computational properties
- classical logic
- edge direction
- database
- propositional calculus
- conditional logic
- computer vision
- learning algorithm
- proof theory