3228 search results - page 241 / 646 » Computationally Sound Proofs |
137
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper proposes a method for analyzing the direction of the arrival of sound by estimating the sound intensity vector from the pressure and energy gradients of closely-spaced ...
135
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Clipping is a necessary signal processing operation in many realtime audio applications, yet it often reduces the sound quality of the signal. The recently proposed perception-bas...
516
click to vote
ICA
2012
Springer
14 years 2 months ago
2012
Springer
We consider an extension of ICA and BSS for separating mutually dependent and independent components from two related data sets. We propose a new method which first uses canonical...
210
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
Virtual environment research has focused on interactive image generation and has largely ignored acoustic modeling for spatialization of sound. Yet, realistic auditory cues can co...
180
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...