1401 search results - page 158 / 281 » Randomness in Interactive Proofs |
142
Voted
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
Protein fold recognition is a key step towards inferring the tertiary structures from amino-acid sequences. Complex folds such as those consisting of interacting structural repeat...
116
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
This paper reports on work-in-progress to better understand how users visually interact with hierarchically organized semantic information. Experimental reaction time and eye move...
111
Voted
CHI
2008
ACM
16 years 4 months ago
2008
ACM
This work-in-progress report presents the groundwork for the design of a user-adaptive web-based e-learning system. A survey and two randomized controlled experiments were carried...
111
Voted
INTERACT
2003
15 years 5 months ago
2003
: This paper presents results from work we have done into the combination of visual and vibrotactile cues for improving user interaction in virtual environments. Using a custom-des...
129
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...