26 search results - page 2 / 6 » PCPs with small soundness error |
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
A method is proposed for simulating the sound pressure signals on a spherical microphone array in a reverberant enclosure. The method employs spherical harmonic decomposition and ...
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
ACMSE
2006
ACM
13 years 11 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
ICASSP
2009
IEEE
14 years 22 hour ago
2009
IEEE
We develop a framework to detect when certain sounds are present in a mixed audio signal. We focus on the regime where out of a large number of possible sounds, a small but unknow...
ICTAC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from st...