Sciweavers

9425 search results - page 393 / 1885
» Some Notes on Models and Modelling
Sort
View
IEEEPACT
2009
IEEE
15 years 11 months ago
Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
Basilio B. Fraguela, Yevgen Voronenko, Markus P&uu...
SCALESPACE
2009
Springer
15 years 11 months ago
Augmented Lagrangian Method, Dual Methods and Split Bregman Iteration for ROF Model
In the recent decades the ROF model (total variation (TV) minimization) has made great successes in image restoration due to its good edge-preserving property. However, the non-di...
Xue-Cheng Tai, Chunlin Wu
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
15 years 11 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
ICRA
2008
IEEE
170views Robotics» more  ICRA 2008»
15 years 11 months ago
Fast grasp planning for hand/arm systems based on convex model
— This paper discusses the grasp planning of a multifingered hand attached at the tip of a robotic arm. By using the convex models and the new approximation method of the fricti...
Kensuke Harada, Kenji Kaneko, Fumio Kanehiro
ICIP
2007
IEEE
15 years 11 months ago
Universal Camera Calibration with Automatic Distortion Model Selection
We present an optimized full scale automatic camera calibration approach which is both accurate and simple to implement. The method can be applied to a wide range of cameras equip...
Vitaly Orekhov, Besma R. Abidi, Christopher Broadd...