Sciweavers

3006 search results - page 356 / 602
» Dimensionality reduction and generalization
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Psychoacoustically constrained and distortion minimized speech enhancement algorithm
A psychoacoustically constrained and distortion minimized speech enhancement algorithm is considered. In general, noise reduction leads to speech distortion, and thus, the goal of...
Seokhwan Jo, Chang D. Yoo
ICASSP
2009
IEEE
16 years 1 months ago
Multichannel speech enhancement using convolutive transfer function approximation in reverberant environments
Recently, we have presented a transfer-function generalized sidelobe canceler (TF-GSC) beamformer in the short time Fourier transform domain, which relies on a convolutive transfe...
Ronen Talmon, Israel Cohen, Sharon Gannot
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
16 years 1 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
IWSEC
2009
Springer
16 years 1 months ago
Reducing Complexity Assumptions for Oblivious Transfer
Reducing the minimum assumptions needed to construct various cryptographic primitives is an important and interesting task in theoretical cryptography. Oblivious Transfer, one of ...
K. Y. Cheong, Takeshi Koshiba
MFCS
2009
Springer
16 years 1 months ago
The Prismoid of Resources
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
Delia Kesner, Fabien Renaud