Sciweavers

2643 search results - page 272 / 529
» Higher order messaging
Sort
View
SC
1993
ACM
15 years 10 months ago
Volume rendering of 3D scalar and vector fields at LLNL
Simulation of complex 3-dimensional phenomena generate data sets which are hard to comprehend using conventional 2-dimensionally oriented visualization tools. One way to overcome ...
Roger Crawfis, Nelson L. Max, Barry G. Becker, Bri...
CADE
1990
Springer
15 years 10 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
144
Voted
EUROCRYPT
1990
Springer
15 years 10 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 10 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 10 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