Sciweavers

3452 search results - page 366 / 691
» On the Study of Negotiation Strategies
Sort
View
KDD
2005
ACM
122views Data Mining» more  KDD 2005»
16 years 7 months ago
Pattern lattice traversal by selective jumps
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...
Osmar R. Zaïane, Mohammad El-Hajj
CHI
2008
ACM
16 years 7 months ago
Quickdraw: the impact of mobility and on-body placement on device access time
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...
CHI
2007
ACM
16 years 7 months ago
Range: exploring proxemics in collaborative whiteboard interaction
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...
Wendy Ju, Brian Lee, Scott R. Klemmer
CHI
2007
ACM
16 years 7 months ago
Let's get emotional: emotion research in human computer interaction
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...
183
Voted
CADE
2008
Springer
16 years 7 months ago
Compositional Proofs with Symbolic Execution
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...
Simon Bäumler, Florian Nafz, Michael Balser, ...