Sciweavers

1638 search results - page 205 / 328
» Properties of input-consuming derivations
Sort
View
CVPR
2010
IEEE
16 years 2 months ago
A theory of phase-sensitive rotation invariance with spherical harmonic and moment-based representations
This paper describes how phase-sensitive rotation invariants for three-dimensional data may be obtained. A “bispectrum” is formulated for rotations, and its properties are der...
Ramakrishna Kakarala, Dansheng Mao
COMPIMAGE
2010
Springer
16 years 1 months ago
Curvature Estimation for Discrete Curves Based on Auto-adaptive Masks of Convolution
We propose a method that we call auto-adaptive convolution which extends the classical notion of convolution in pictures analysis to function analysis on a discrete set. We define...
Christophe Fiorio, Christian Mercat, Fréd&e...
CCIW
2009
Springer
16 years 1 months ago
Structure Tensor of Colour Quaternion Image Representations for Invariant Feature Extraction
Colour image representation using real quaternions has shown to be very useful for linear and morphological colour filtering. This paper deals with the extension of first derivat...
Jesús Angulo
TABLEAUX
2009
Springer
16 years 1 months ago
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
Silvio Ghilardi, Silvio Ranise
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
16 years 29 days ago
On the characterisation of stabilisability by means of time-delayed feedback control
— In this paper we consider the stabilisability of nonlinear dynamical systems via time-delayed state and output feedback control. Based on an eigenvalue optimisation approach in...
H. J. C. Huijberts, Wim Michiels, Henk Nijmeijer