825 search results - page 62 / 165 » interactions 2011 |
206
Voted
HAID
2011
Springer
14 years 3 months ago
2011
Springer
Many victims of The Great East Japan Earthquake lost many precious mementos. Such loses can result in more time being required to recover emotionally and mentally. This paper propo...
125
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Finger-based touch input has become a major interaction modality for mobile user interfaces. However, due to the low precision of finger input, small user interface components are...
139
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Getting the right amount of quality sleep is a key aspect of good health, along with a healthy diet and regular exercise. Human-computer interaction (HCI) researchers have recentl...
135
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
139
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
In this paper we investigate how people use online rating information to inform decision making. We examine whether a theory of searching for information to discriminate between a...