Keyphrases
- image processing
- linear interpolation
- databases
- classical logic
- interpolation method
- interpolation algorithm
- digital libraries
- high resolution
- theorem proving
- piecewise polynomial
- sparse sampling
- bilinear interpolation
- edge directed
- interpolation methods
- image interpolation
- multiresolution
- data structure
- optimal solution
- information systems
- computer vision
- neural network