Sciweavers

3779 search results - page 125 / 756
» Linear Consistency Testing
Sort
View
ICSEA
2007
IEEE
16 years 17 days ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
ICASSP
2008
IEEE
16 years 21 days ago
Temporal masking for bit-rate reduction in audio codec based on Frequency Domain Linear Prediction
Audio coding based on Frequency Domain Linear Prediction (FDLP) uses auto-regressive model to approximate Hilbert envelopes in frequency sub-bands for relatively long temporal seg...
Sriram Ganapathy, Petr Motlícek, Hynek Herm...
IPPS
2007
IEEE
16 years 17 days ago
From Hardware to Software Synthesis of Linear Feedback Shift Registers
Linear Feedback Shift Registers (LFSRs) have always received considerable attention in computer science especially in coding theory and in cryptography. The scope of applications ...
Cédric Lauradoux
MLMI
2007
Springer
16 years 12 days ago
Frequency Domain Linear Prediction for QMF Sub-bands and Applications to Audio Coding
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
Petr Motlícek, Sriram Ganapathy, Hynek Herm...
SIBGRAPI
2006
IEEE
16 years 8 days ago
Extracting Discriminative Information from Medical Images: A Multivariate Linear Approach
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
Carlos E. Thomaz, Nelson A. O. Aguiar, Sergio H. A...