1546 search results - page 295 / 310 » Context-Aware Computing with Sound |
150
click to vote
HUC
2011
Springer
14 years 3 months ago
2011
Springer
An immersive theatre experience was designed to raise awareness and question perceptions of ‘blindness’, through enabling both sighted and blind members to experience a simila...
120
click to vote
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
Acoustic quality in room acoustics is measured by well defined quantities, like definition, which can be derived from simulated impulse response filters or measured values. These t...
258
click to vote
ICDT
2009
ACM
16 years 4 months ago
2009
ACM
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
247
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
241
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...