5671 search results - page 9 / 1135 » A Semantic Approach to Interpolation |
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Single sensor digital cameras capture one color value for every pixel location. The remaining two color channel values need to be estimated to obtain a complete color image. This ...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Resampling techniques are commonly required in digital image processing systems. Many times the classical interpolation functions are used, i.e., nearest-neighbour interpolation a...
CIKM
2004
Springer
14 years 26 days ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
CAGD
2000
13 years 7 months ago
2000
In this paper, we first introduce a 3D morphing method for landmark-based volume deformation, using various scattered data interpolation schemes. Qualitative and speed comparisons...