3228 search results - page 72 / 646 » Computationally Sound Proofs |
PUC
2002
13 years 8 months ago
2002
One difficulty for interface design on mobile computers is lack of screen space caused by their small size. This paper describes a small pilot study and two formal experiments tha...
COCO
2010
Springer
14 years 4 days ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...
TASLP
2010
13 years 7 months ago
2010
—A computationally efficient algorithm is proposed for modeling and representing time-varying musical sounds. The aim is to encode individual sounds and not the statistical prop...
CW
2008
IEEE
14 years 3 months ago
2008
IEEE
Dematerialized music and MP3 players offer to the user the possibility of carrying his musical content everywhere. However, at home, the music collection is generally not central...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...