5786 search results - page 1008 / 1158 » Lines Pinning Lines |
139
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We present DRAGON, a direct manipulation interaction technique for frame-accurate navigation in video scenes. This technique benefits tasks such as professional and amateur video ...
188
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Capturing and analyzing the detailed eye movements of a user while reading a web page can reveal much about the ways in which web reading occurs. The WebGazeAnalyzer system descri...
187
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
In this paper we report an ethnographic study of workarounds--informal temporary practices for handling exceptions to normal workflow--in a hospital environment. Workarounds are a...
190
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
We explored the use of awareness information to facilitate communication by developing a series of prototypes. The ConNexus prototype integrates awareness information, instant mes...
287
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...