Sciweavers

3333 search results - page 221 / 667
» New Invariants for Groups
Sort
View
SIP
2001
14 years 4 days ago
Convergence acceleration of the LMS algorithm using successive data orthogonalization
We propose a new adaptive filtering algorithm whose convergence rate is very fast even for a highly correlated input signal. It is well-known that convergence rate gets worse when...
H.-C. Shin, W.-J. Song
IVCNZ
1998
14 years 3 days ago
Feature point Detection in Blurred Images
: Feature point FP detection is an important pre-processing step in image registration, data fusion, object recognition and in many other tasks. This paper deals with multiframe FP...
Jaroslav Kautsky, Barbara Zitová, Jan Fluss...
CADE
2010
Springer
13 years 12 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
CAV
2010
Springer
156views Hardware» more  CAV 2010»
13 years 11 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
ICASSP
2010
IEEE
13 years 11 months ago
Quaternionic wavelets for texture classification
This paper proposes a new texture classifier based on the Quaternionic Wavelet Transform (QWT). This recent transform separates the informations contained in the image better tha...
Raphaël Soulard, Philippe Carré