1546 search results - page 111 / 310 » Context-Aware Computing with Sound |
129
click to vote
AAAI
2008
15 years 7 months ago
2008
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are P 2 hard. To overc...
143
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
131
click to vote
SIGGRAPH
2009
ACM
15 years 11 months ago
2009
ACM
”scoreLight” is a playful musical instrument capable of generating sound from the lines of doodles as well as edges of threedimensional objects nearby (hands, dancer’s silho...
147
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a novel method to simulate an multichannel audio experience using stereo headphones. In contrast to conventional, convolution-based methods, the current appro...
112
click to vote
MPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...