3228 search results - page 82 / 646 » Computationally Sound Proofs |
STACS
1999
Springer
14 years 1 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...
UIST
2009
ACM
14 years 3 months 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...
IUI
2000
ACM
14 years 1 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 ...
SWAP
2008
13 years 10 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...
VRML
1998
ACM
14 years 1 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...