1546 search results - page 157 / 310 » Context-Aware Computing with Sound |
141
click to vote
CHI
2011
ACM
14 years 9 months ago
2011
ACM
Game designers frequently invest in aesthetic improvements such as music, sound effects, and animations. However, their exact value for attracting and retaining players remains un...
314
click to vote
Book
"Delay effects, such as phasing, flanging, chorus, and artificial reverberation, provide an excellent starting point for the subject of digital waveguide modeling because both...
148
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
147
click to vote
WOLLIC
2009
Springer
16 years 22 days ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
147
click to vote
FOSSACS
2010
Springer
16 years 19 days ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...