Sciweavers

508 search results - page 55 / 102
» Stability of Curvature Measures
Sort
View
ICIP
2001
IEEE
16 years 1 months ago
Image motion estimation-convergence and error analysis
The paper computes the reliability of estimates of image motion parameters. The use of such measures of reliability to weight motion estimates improves significantly the performan...
José M. F. Moura, Pedro M. Q. Aguiar
ICCD
2004
IEEE
98views Hardware» more  ICCD 2004»
15 years 8 months ago
Coping with The Variability of Combinational Logic Delays
Abstract— This paper proposes a technique for creating a combinational logic network with an output that signals when all other outputs have stabilized. The method is based on du...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 6 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
IROS
2006
IEEE
99views Robotics» more  IROS 2006»
15 years 5 months ago
A Cartesian Compliance Controller for a Manipulator Mounted on a Flexible Structure
— In this paper the Cartesian compliance control of a manipulator mounted on a flexible base is considered. The proposed control law aims at achieving a desired stiffness and da...
Christian Ott, Alin Albu-Schäffer, Gerd Hirzi...
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 4 months ago
A multiple-derivative and multiple-delay paradigm for decentralized controller design: uniform-rank systems
This article contributes to our major study of decentralized controller design using a multiple-derivative and multiple-delay paradigm for control. In this installment, we pursue ...
Yan Wan, Sandip Roy, Ali Saberi, Anton A. Stoorvog...