3228 search results - page 69 / 646 » Computationally Sound Proofs |
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
Pencil-and-paper exercises in public-key cryptography are important in learning the subject. It is desirable that a student doing such an exercise does not get the right answer by...
ACMACE
2004
ACM
14 years 2 months ago
2004
ACM
: This paper describes a research project aimed at developing authoring tools for the collaborative creation of soundscapes and an associated system for the storage and playback of...
ASSETS
2004
ACM
14 years 2 months ago
2004
ACM
Point estimation is a relatively unexplored facet of sonification. We present a new computer application, the Audio Abacus, designed to transform numbers into tones following the ...
ISWC
2000
IEEE
14 years 1 months ago
2000
IEEE
We present the idea of a flexible phased array of microphones for wearable computers. We show how such an array can be used for both source localization and signal enhancement. A...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...