Regardless of the frequent patterns to discover, either the full frequent patterns or the condensed ones, either closed or maximal, the strategy always includes the traversal of t...
We investigate the effect of placement and user mobility on the time required to access an on-body interface. In our study, a wrist-mounted system was significantly faster to acce...
Daniel Ashbrook, James Clawson, Kent Lyons, Thad S...
Range is an interactive whiteboard designed to support collocated, ad-hoc meetings. It employs proximity sensing to proactively transition between ambient and authoring modes, cle...
Emotion is a topic of growing interest in the HCI community. Studying emotion within the HCI discipline is an exciting interdisciplinary task. This can be facilitated by the excha...
Elizabeth A. Crane, N. Sadat Shami, Christian Pete...
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...