3228 search results - page 82 / 646 » Computationally Sound Proofs |
121
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
We demonstrate how to use Lautemann's proof that BPP is in p 2 to exhibit that BPP is in RPPromiseRP. Immediate consequences show that if PromiseRP is easy or if there exist q...
132
click to vote
UIST
2009
ACM
16 years 20 days ago
2009
ACM
In this paper we present a novel interface for selecting sounds in audio mixtures. Traditional interfaces in audio editors provide a graphical representation of sounds which is ei...
120
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes an intelligent interface to assist in the expert perceptual task of sound equalization. This is commonly done by a sound engineer in a recording studio, live ...
167
click to vote
SWAP
2008
15 years 7 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
167
click to vote
VRML
1998
ACM
15 years 10 months ago
1998
ACM
While many pleasing effects are possible using the current VRML sound model [9], it falls short of producing convincing aural environments. Sound sources are not easily affected b...