3228 search results - page 173 / 646 » Computationally Sound Proofs |
168
click to vote
LOGCOM
2002
15 years 6 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
161
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
133
click to vote
C5
2006
IEEE
15 years 10 months ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
162
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
250
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...