11739 search results - page 308 / 2348 » Slideshow: functional presentations |
204
click to vote
ENTCS
2011
15 years 1 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
126
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This study investigated the effect of fast-acting Automatic Gain Control (AGC) on the speech intelligibility of cochlear implant users as a function of presentation level. Both lo...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present a software-only implementation of an IEEE 802.11a (WiFi) receiver optimized for Intel multicore platforms. The receiver is about 50 times faster than a straightforward ...
182
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we present two results on reducing the peak power of orthogonal frequency division multiplexing (OFDM) symbols via constellation extension (CE). The first result is...
182
click to vote
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...