2199 search results - page 8 / 440 » Orientation Interpolation and Applications |
ICIP
2008
IEEE
14 years 1 months ago
2008
IEEE
Image interpolation is a well-studied signal processing application that continues to receive substantial attention from the research community. It has been recognized that taking...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—The problem of variable sample rate conversion (SRC) has received much attention on account of its applications in software defined radios (SDRs) that must support a wide varie...
ICCAD
2010
IEEE
13 years 5 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
We present the application of a novel nonparametric approach to restoration and interpolation of medical images. The proposed approach is based on the notion of spatially adaptive...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formal...