3228 search results - page 280 / 646 » Computationally Sound Proofs |
152
click to vote
AIML
2008
15 years 6 months ago
2008
In 1983, Valentini presented a syntactic proof of cut-elimination for a sequent calculus GLSV for the provability logic GL where we have added the subscript V for "Valentini&q...
104
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Spatial audio displays have been criticized because the use of headphones may isolate users from their real world audio environment. In this paper we study the effects of three ty...
135
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
In this paper we describe our investigation of using interactive sonification (non-speech sound) to present the geographical distribution pattern of statistical data to vision imp...
122
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
The physical nature of the classroom means that children are continually divided into small groups. The present study examined collaboration on a story creation task using technol...
134
Voted
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Keystroke dynamics—the analysis of typing rhythms to discriminate among users—has been proposed for detecting impostors (i.e., both insiders and external attackers). Since man...