3228 search results - page 224 / 646 » Computationally Sound Proofs |
137
click to vote
RSFDGRC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The Unpredictability Measure computation algorithm applied to psychoacoustic model-based broadband noise attenuation is discussed. A learning decision algorithm based on ...
155
click to vote
MM
2004
ACM
16 years 1 days ago
2004
ACM
The Evolving Oblique is an interactive video and sound installation that explores the spatialization of cinematic projection and the mediative role of the human body. Centered upo...
167
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
149
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....
175
click to vote
ICAD
2004
15 years 8 months ago
2004
This paper argues for a special focus on the use of dynamic human interaction to explore datasets while they are being transformed into sound. We describe why this is a special ca...