Sciweavers

1686 search results - page 183 / 338
» Higher Order Deforestation
Sort
View
EUROCRYPT
1990
Springer
15 years 8 months ago
Propagation Characteristics of Boolean Functions
The relation between the Walsh-Hadamard transform and the autocorrelation function of Boolean functions is used to study propagation characteristics of these functions. The Strict...
Bart Preneel, Werner Van Leekwijck, Luc Van Linden...
ICASSP
2009
IEEE
15 years 8 months ago
Joint estimation of short-term and long-term predictors in speech coders
In low bit-rate coders, the near-sample and far-sample redundancies of the speech signal are usually removed by a cascade of a shortterm and a long-term linear predictor. These tw...
Daniele Giacobello, Mads Græsbøll Chr...
ASIACRYPT
2006
Springer
15 years 8 months ago
KFC - The Krazy Feistel Cipher
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
Thomas Baignères, Matthieu Finiasz
ESCIENCE
2006
IEEE
15 years 8 months ago
Grid Enabled Problem Solving Environments for Text Categorization
As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem so...
Jian Mei, Wu Zhang, Suge Wang
FMCAD
2006
Springer
15 years 8 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...