1546 search results - page 93 / 310 » Context-Aware Computing with Sound |
115
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
129
click to vote
ICASSP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a maximum likelihood (ML) framework for multimicrophone sound source localization (SSL). Besides deriving the framework, we focus on making the connection and ...
101
click to vote
AVI
2008
15 years 7 months ago
2008
In this paper, we introduce a direct manipulation tabletop multi-touch user interface for spatial audio scenes. Although spatial audio rendering existed for several decades now, m...
117
click to vote
IJON
2007
15 years 4 months ago
2007
We incorporate auditory-based features into an unconventional pattern classification system, consisting of a network of spiking neurones with dynamical and multiplicative synapse...
141
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...