Sciweavers

296 search results - page 5 / 60
» Numerical function generators using bilinear interpolation
Sort
View
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
15 years 3 months ago
Controlling Swarms of Robots Using Interpolated Implicit Functions
— We address the synthesis of controllers for large groups of robots and sensors, tackling the specific problem of controlling a swarm of robots to generate patterns specified ...
Luiz Chaimowicz, Nathan Michael, Vijay Kumar
ICCV
2001
IEEE
15 years 11 months ago
Empirical Filter Estimation for Subpixel Interpolation and Matching
We study the low-level problem of predicting pixel intensities after subpixel image translations. This is a basic subroutine for image warping and super-resolution, and it has a c...
Bill Triggs
ICCAD
2010
IEEE
140views Hardware» more  ICCAD 2010»
14 years 7 months ago
Reduction of interpolants for logic synthesis
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...
John D. Backes, Marc D. Riedel
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
14 years 9 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
CGF
2004
97views more  CGF 2004»
14 years 9 months ago
Image Interpolation by Pixel-Level Data-Dependent Triangulation
We present a novel image interpolation algorithm. The algorithm can be used in arbitrary resolution enhancement, arbitrary rotation and other applications of still images in conti...
Dan Su, Philip Willis