3228 search results - page 76 / 646 » Computationally Sound Proofs |
MM
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a novel method to recover lost packets in music streaming using a synthesizer to generate percussive sounds. As an improvement of the state-of-the-art system t...
TASLP
2008
13 years 8 months ago
2008
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
We study simulation relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation lengths are polynomially bounded. T...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Spherical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound eld in the vicinity of the...
EJASMP
2010
13 years 3 months ago
2010
A system is described for simulating environmental sound in interactive virtual worlds, using the physical state of objects as control parameters. It contains a unified framework ...