3228 search results - page 201 / 646 » Computationally Sound Proofs |
163
click to vote
TCC
2007
Springer
16 years 20 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
147
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
The natural role of sound in actions involving mechanical impact and vibration suggests the use of auditory display as an augmentation to virtual haptic interfaces. In order to bu...
188
click to vote
AAAI
1994
15 years 8 months ago
1994
We propose a novel approach to auditory stream segregation which extracts individual sounds (auditory stream) from a mixture of sounds in auditory scene analysis. The HBSS (Harmon...
179
click to vote
TASLP
2010
15 years 5 months ago
2010
Spherical and cylindrical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound field in ...
170
click to vote
CONCUR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...