Sciweavers

6943 search results - page 583 / 1389
» Representations for evolutionary algorithms
Sort
View
ICASSP
2011
IEEE
14 years 11 months ago
Learning sparse dictionaries with a popularity-based model
Sparse signal representation based on overcomplete dictionaries has recently been extensively investigated, rendering the state-of-the-art results in signal, image and video proce...
Jianzhou Feng, Li Song, Xiaoming Huo, Xiaokang Yan...
PSTV
1993
123views Hardware» more  PSTV 1993»
15 years 8 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
SIAMSC
2008
117views more  SIAMSC 2008»
15 years 7 months ago
Adaptive, Fast, and Oblivious Convolution in Evolution Equations with Memory
To approximate convolutions which occur in evolution equations with memory terms, a variable-stepsize algorithm is presented for which advancing N steps requires only O(N log N) op...
María López-Fernández, Christ...
ICPR
2004
IEEE
16 years 8 months ago
Face Verification System Architecture Using Smart Cards
A smart card based face verification system is proposed in which the feature extraction and decision making is performed on the card. Such an architecture has many privacy and sec...
Josef Kittler, Kieron Messer, Thirimachos Bourlai
ICASSP
2009
IEEE
16 years 2 months ago
Joint reconstruction of compressed multi-view images
This paper proposes a distributed representation algorithm for multi-view images that are jointly reconstructed at the decoder. Compressed versions of each image are first obtain...
Xu Chen, Pascal Frossard