1546 search results - page 134 / 310 » Context-Aware Computing with Sound |
131
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
145
Voted
TARK
1998
Springer
15 years 9 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
121
Voted
CHI
1997
ACM
15 years 9 months ago
1997
ACM
Music is a rich communication medium, and there are some similarities between the job of a music composer and that of an HCI designer (although their objectives may be different)....
144
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
144
click to vote
ICAD
2004
15 years 6 months ago
2004
This paper argues for a special focus on the use of dynamic human interaction to explore datasets while they are being transformed into sound. We describe why this is a special ca...