3337 search results - page 81 / 668 » interactions 2006 |
APVIS
2006
13 years 9 months ago
2006
In the present paper, we introduce a multi-user interactive framework for solving complex optimization problems. The framework, called Co-UserHints, provides a visual computationa...
IANDC
2006
13 years 8 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
RAS
2006
13 years 8 months ago
2006
This article explores the assumption that a deeper (quantitative) understanding of the information-theoretic implications of sensory-motor coordination can help endow robots not o...
JCB
2008
13 years 6 months ago
2008
Controlled intra-nuclear organisation of proteins is critical for sustaining correct function of the cell. Proteins and RNA are transported by passive diffusion and associate with...
PERCOM
2006
ACM
13 years 8 months ago
2006
ACM
Migratory interactive services play an important role in supporting mobile users because they allow them to continue their activities across interaction with different devices. Wh...