1546 search results - page 110 / 310 » Context-Aware Computing with Sound |
101
click to vote
CGI
2003
IEEE
15 years 10 months ago
2003
IEEE
We have created software that shows a musician the pitch of the notes he or she is playing or singing, in real time and very accurately. This is useful as a teaching aid for begin...
152
Voted
ECCC
2007
15 years 4 months ago
2007
We show that if a language L has a 4-round, black-box, computational zero-knowledge proof system with negligible soundness error, then ¯L ∈ MA. Assuming the polynomial hierarch...
181
Voted
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
147
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
144
Voted
CHI
1993
ACM
15 years 9 months ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...