Sciweavers

8648 search results - page 1372 / 1730
» Designing for Human-Agent Interaction
Sort
View
CHI
2003
ACM
16 years 7 months ago
Hardware companions?: what online AIBO discussion forums reveal about the human-robotic relationship
In this study, we investigated people's relationships with AIBO, a robotic pet, through 6,438 spontaneous postings in online AIBO discussion forums. Results showed that AIBO ...
Batya Friedman, Peter H. Kahn Jr., Jennifer Hagman
CHI
2002
ACM
16 years 7 months ago
What makes people trust online gambling sites?
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
Bhiru Shelat, Florian N. Egger
CHI
2001
ACM
16 years 7 months ago
Ignoring perfect knowledge in-the-world for imperfect knowledge in-the-head
Constraints and dependencies among the elements of embodied cognition form patterns or microstrategies of interactive behavior. Hard constraints determine which microstrategies ar...
Wayne D. Gray, Wai-Tat Fu
CHI
2001
ACM
16 years 7 months ago
Chinese input with keyboard and eye-tracking: an anatomical study
Chinese input presents unique challenges to the field of human computer interaction. This study provides an anatomical analysis of today's standard Chinese input process, whi...
Jingtao Wang, Shumin Zhai, Hui Su
CADE
2005
Springer
16 years 7 months ago
Reflecting Proofs in First-Order Logic with Equality
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...
Evelyne Contejean, Pierre Corbineau
« Prev « First page 1372 / 1730 Last » Next »