5671 search results - page 16 / 1135 » A Semantic Approach to Interpolation |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
LOGCOM
2008
13 years 7 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
TC
2008
13 years 7 months ago
2008
This paper examines the hardware implementation trade-offs when evaluating functions via piecewise polynomial approximations and interpolations for precisions of up to 24 bits. In ...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
Time domain image interpolation, or image morphing, refers to a class of techniques for generating a set of smoothly changing intermediate images between two given images. Numerou...
APGV
2009
ACM
14 years 5 days ago
2009
ACM
—We present a no-reference image quality metric for image interpolation. The approach is capable of detecting blurry regions as well as ghosting artifacts, e.g., in image based r...