Sciweavers

1546 search results - page 86 / 310
» Context-Aware Computing with Sound
Sort
View
ACL2
2006
ACM
15 years 10 months ago
Soundness of the simply typed lambda calculus in ACL2
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
Sol Swords, William R. Cook
ACMACE
2004
ACM
15 years 10 months ago
Mobile sound communities
: 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...
William Carter, Scott S. Fisher
ASSETS
2004
ACM
15 years 10 months ago
The audio abacus: representing numerical values with nonspeech sound for the visually impaired
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 ...
Bruce N. Walker, Jeff Lindsay, Justin Godfrey
124
Voted
ISWC
2000
IEEE
15 years 9 months ago
Wearable Phased Arrays for Sound Localization and Enhancement
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...
Sumit Basu, Steven J. Schwartz, Alex Pentland
NIME
2004
Springer
155views Music» more  NIME 2004»
15 years 10 months ago
A New Mix of Forgotten Technology: Sound Generation, Sequencing and Performance Using an Optical Turntable
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
Nikita Pashenkov