1546 search results - page 121 / 310 » Context-Aware Computing with Sound |
133
Voted
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
The informal information can be so intuitive, emotional, personal, honest and subjective that it is very difficult to get them from the formal media. In this paper, we demonstrate...
135
Voted
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
150
Voted
NIME
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
127
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
201
click to vote
ALP
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...