1546 search results - page 168 / 310 » Context-Aware Computing with Sound |
194
click to vote
CONCUR
2009
Springer
16 years 2 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
190
Voted
NORDICHI
2006
ACM
16 years 1 months ago
2006
ACM
The ixi software is an ongoing interdisciplinary research project. It focuses on the creation of screen-based interfaces as digital musical instruments. The notion of situated cog...
190
Voted
ISSAC
2004
Springer
16 years 23 days ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
172
Voted
CONCUR
2003
Springer
16 years 19 days ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
183
Voted
CSL
2003
Springer
16 years 19 days ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...