395 search results - page 47 / 79 » When do we interact multimodally |
CHI
2001
ACM
14 years 9 months ago
2001
ACM
In human-to-human interaction, people sometimes are able to pick up and respond sensitively to the other's internal state as it shifts moment by moment over the course of an ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
We developed a low-effort interaction method called Click2Tag for social bookmarking. Information foraging theory predicts that the production of tags will increase as the effort ...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Reputation mechanisms are essential for online transactions, where the parties have little prior experience with one another. This is especially true when transactions result in...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
VLDB
2008
ACM
14 years 9 months ago
2008
ACM
Abstract Sensor devices produce data that are unreliable, low-level, and seldom able to be used directly by applications. In this paper, we propose Metaphysical Data Independence (...