Sciweavers

4508 search results - page 515 / 902
» Design of human-map system interaction
Sort
View
CSCW
2012
ACM
14 years 2 months ago
Social visualization and negotiation: effects of feedback configuration and status
We describe a social visualization system that monitors the vocal arousal levels of the participants in a simulated twoparty employment negotiation. In a 3x2 factorial experiment ...
Michael Nowak, Juho Kim, Nam Wook Kim, Clifford Na...
CHI
2008
ACM
16 years 7 months ago
aSister: scheduling for homeless women with special needs
Homeless women need special care and attention especially during pregnancy or while trying to overcome substance abuse. We present a solution to help counselors working with these...
Kshitij Gupta, Adwait Joshi, Jamie Allison McAtee,...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
173
Voted
FASE
1998
Springer
15 years 11 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan
PETRA
2010
ACM
15 years 8 months ago
Blink and wink detection for mouse pointer control
A Human-Computer Interaction (HCI) system that is designed for individuals with severe disabilities to simulate control of a traditional computer mouse is introduced. The camera-b...
Eric Missimer, Margrit Betke