3228 search results - page 181 / 646 » Computationally Sound Proofs |
168
click to vote
TSD
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present our study on expressive gibberish speech synthesis as a means for affective communication between computing devices, such as a robot or an avatar, and thei...
158
click to vote
ICMCS
2006
IEEE
16 years 17 days 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...
161
click to vote
APLAS
2006
ACM
16 years 15 days 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 ...
171
click to vote
NIME
2001
Springer
15 years 11 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...
149
click to vote
CODES
1998
IEEE
15 years 10 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...