Sciweavers

6358 search results - page 965 / 1272
» Computing spectral sequences
Sort
View
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 7 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
CHI
2008
ACM
16 years 7 months ago
Letterscroll: text entry using a wheel for visually impaired users
Four text entry techniques for visually impaired users are presented. LetterScroll uses a mouse wheel to maneuver a cursor across a sequence of characters, and a button for charac...
Hussain Tinwala, I. Scott MacKenzie
CHI
2007
ACM
16 years 7 months ago
Pressure marks
Selections and actions in GUI's are often separated ? i.e. an action or command typically follows a selection. This sequence imposes a lower bound on the interaction time tha...
Gonzalo A. Ramos, Ravin Balakrishnan
CHI
2007
ACM
16 years 7 months ago
Supporting multi-point interaction in visual workspaces
Multi-point interaction tasks involve the manipulation of several mutually-dependent control points in a visual workspace ? for example, adjusting a selection rectangle in a drawi...
Garth Shoemaker, Carl Gutwin
CHI
2006
ACM
16 years 7 months ago
Quantifying interpersonal influence in face-to-face conversations based on visual attention patterns
A novel measure for automatically quantifying the amount of interpersonal influence present in face-toface conversations is proposed based on the visualattention patterns of the p...
Kazuhiro Otsuka, Junji Yamato, Yoshinao Takemae, H...