1546 search results - page 138 / 310 » Context-Aware Computing with Sound |
146
click to vote
TASLP
2010
15 years 3 months ago
2010
Abstract—This paper describes a system, referred to as modelbased expectation-maximization source separation and localization (MESSL), for separating and localizing multiple soun...
144
click to vote
TASLP
2010
15 years 3 months ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...
131
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
159
click to vote
FOAL
2009
ACM
15 years 11 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
134
Voted
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...