5671 search results - page 6 / 1135 » A Semantic Approach to Interpolation |
CDC
2009
IEEE
14 years 5 days ago
2009
IEEE
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...
DELTA
2004
IEEE
13 years 11 months ago
2004
IEEE
Bilinear interpolation is often used to improve image quality after performing spatial transformation operations such as digital zooming or rotation. In the traditional case where...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper investigates a novel procedure to calculate smooth interpolation curves of the rotation group SO3, which is commonly considered as the standard representatio...
CVGIP
2002
13 years 7 months ago
2002
This paper proposes a simple approach to the affine motion interpolation problem, where an affine spline motion is generated that interpolates a given sequence of affine keyframes...
ENTCS
2007
13 years 7 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...