Sciweavers

3146 search results - page 435 / 630
» Efficient Consequence Finding
Sort
View
132
Voted
CHI
2004
ACM
16 years 4 months ago
Eye gaze interaction with expanding targets
Recent evidence on the performance benefits of expanding targets during manual pointing raises a provocative question: Can a similar effect be expected for eye gaze interaction? W...
Darius Miniotas, Oleg Spakov, I. Scott MacKenzie
128
Voted
CHI
2002
ACM
16 years 4 months ago
Movement model, hits distribution and learning in virtual keyboarding
In a ten-session experiment, six participants practiced typing with an expanding rehearsal method on an optimized virtual keyboard. Based on a large amount of in-situ performance ...
Shumin Zhai, Alison E. Sue, Johnny Accot
221
Voted
POPL
2007
ACM
16 years 4 months ago
Interprocedural analysis of asynchronous programs
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
Ranjit Jhala, Rupak Majumdar
215
Voted
POPL
2005
ACM
16 years 4 months ago
Region-based shape analysis with tracked locations
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
Brian Hackett, Radu Rugina
140
Voted
RECOMB
2006
Springer
16 years 4 months ago
Structural Alignment of Pseudoknotted RNA
In this paper, we address the problem of discovering novel non-coding RNA (ncRNA) using primary sequence, and secondary structure conservation, focusing on ncRNA families with pseu...
Banu Dost, Buhm Han, Shaojie Zhang, Vineet Bafna