3337 search results - page 220 / 668 » interactions 2006 |
162
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
People are usually concerned with the privacy of their personal information. However, the problem of privacy is also present when the information is directly linked to people, for...
165
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
TapTap is a wearable haptic system that allows nurturing human touch to be recorded, broadcast and played back for emotional therapy. Haptic input/output modules in a convenient m...
141
click to vote
AH
2006
Springer
16 years 18 days ago
2006
Springer
Current adaptive systems acquire information about users mainly by simple tracking of resources, a user has requested and by asking users to supply the needed information. In this ...
150
click to vote
PODC
2006
ACM
16 years 17 days ago
2006
ACM
We consider the model of population protocols introduced by Angluin et al. [2], in which anonymous finite-state agents stably compute a predicate of their inputs via twoway inter...
176
click to vote
ENTCS
2006
15 years 6 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...