336 search results - page 11 / 68 » Interpolant Generation for UTVPI |
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
—Demosaicing is a color interpolation process that converts a raw image generated by a color filter array to a full color image by estimating the missing color components of each...
SIBGRAPI
1999
IEEE
13 years 12 months ago
1999
IEEE
Many scientific applications use scattered data originated from samples. Interpolation techniques are necessary to estimate the values on non-sampled regions. In a previous work, t...
TMI
1998
13 years 7 months ago
1998
—Spatially varying focal length fan-beam collimators can be used in single photon emission computed tomography to improve detection efficiency and to reduce reconstruction artif...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...