1546 search results - page 141 / 310 » Context-Aware Computing with Sound |
138
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
110
click to vote
FAC
2008
15 years 5 months ago
2008
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
107
click to vote
ICASSP
2011
IEEE
14 years 8 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 ...
111
click to vote
ICASSP
2011
IEEE
14 years 8 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...
183
Voted
SIGGRAPH
1998
ACM
15 years 9 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...