Sciweavers

1302 search results - page 78 / 261
» Soundness in the Public-Key Model
Sort
View
ISMIR
2005
Springer
157views Music» more  ISMIR 2005»
15 years 12 months ago
A Partial Searching Algorithm and Its Application for Polyphonic Music Transcription
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
Wen Xue, M. Sandler
ECAL
2003
Springer
15 years 11 months ago
Conditions for Stable Vowel Systems in a Population
This paper describes an investigation of two computer models of how vowel systems can be transferred from one generation to the next. Humans tend to reduce the articulation of the ...
Bart de Boer
IEEEMSP
2002
IEEE
115views Multimedia» more  IEEEMSP 2002»
15 years 11 months ago
Aerial communications using piano, clarinet, and bells
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
Natacha Domingues, Joáo Lacerda, Pedro M. Q...
ESORICS
2003
Springer
15 years 11 months ago
Symmetric Authentication within a Simulatable Cryptographic Library
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
Michael Backes, Birgit Pfitzmann, Michael Waidner
ASIACRYPT
2011
Springer
14 years 6 months ago
Resettable Cryptography in Constant Rounds - The Case of Zero Knowledge
A fundamental question in cryptography deals with understanding the role that randomness plays in cryptographic protocols and to what extent it is necessary. One particular line o...
Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, A...