Keyphrases
- higher order
- first order logic
- linear interpolation
- stochastic dominance
- interpolation method
- image interpolation
- bilinear interpolation
- term rewriting
- quantifier elimination
- interpolation methods
- edge detection
- horn clauses
- b spline
- similarity measure
- low pass filtering
- information systems
- genetic algorithm
- real world
- edge directed
- neural network