9186 search results - page 310 / 1838 » A Module System for Scheme |
163
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Due to the half-duplex property of the underwater acoustic channels, the classic stop-and-wait ARQ (SW-ARQ) and its variants are generally thought to be the only class of ARQ pr...
160
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
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 ...
189
click to vote
MUE
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we propose a new scheme for transcribing sung or hummed queries into a sequence of pitch and duration pairs automatically for efficient music retrieval. More specif...
173
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract—This paper studies an efficient receiver design for concatenated space-frequency coded orthogonal frequency division multiplexing (OFDM) systems under severe multipath c...
161
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
Modern database applications like geographic information systems, multimedia databases, and digital libraries dealing with huge volumes of high dimensional data, make use of multi...