1244 search results - page 13 / 249 » The many faces of interpolation |
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
All eigel/space imerjHJfl1liull IIu!/!/Ull s/Iluulhly illler? polares between 111'0 differem eigellwaces IIsillg high dimCllsional rolatio/!. Howcl'('r, up 10 IIOW ...
124
click to vote
CVGIP
2004
14 years 9 months ago
2004
In this paper we present an efficient method for interpolating a piecewise-linear surface between two parallel slices, each consisting of an arbitrary number of (possibly nested) ...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
Motion estimation (ME) methods based on differential techniques provide useful information for video analysis, and moreover it is relatively easy to embed into them regularity con...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
SYNTHESE
2008
14 years 9 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...