Sciweavers

7924 search results - page 1091 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
ICASSP
2009
IEEE
15 years 11 months ago
Chirp rate estimation of speech based on a time-varying quasi-harmonic model
The speech signal is usually considered as stationary during short analysis time intervals. Though this assumption may be sufficient in some applications, it is not valid for high...
Yannis Pantazis, Olivier Rosec, Yannis Stylianou
ACSC
2004
IEEE
15 years 11 months ago
Self-Replicating Expressions in the Lambda Calculus
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
James Larkin, Phil Stocks
ACSC
2004
IEEE
15 years 11 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
ASAP
2004
IEEE
115views Hardware» more  ASAP 2004»
15 years 11 months ago
Design of the QBIC Wearable Computing Platform
Wearable computing systems can be broadly defined as mobile electronic devices that can be unobtrusively embedded in a user's outfit as part of the garment or an accessory. U...
Oliver Amft, Michael Lauffer, Stijn Ossevoort, Fab...
ASAP
2004
IEEE
140views Hardware» more  ASAP 2004»
15 years 11 months ago
Decimal Floating-Point Division Using Newton-Raphson Iteration
Decreasing feature sizes allow additional functionality to be added to future microprocessors to improve the performance of important application domains. As a result of rapid gro...
Liang-Kai Wang, Michael J. Schulte
« Prev « First page 1091 / 1585 Last » Next »