4460 search results - page 651 / 892 » Formal methods for interactive systems |
149
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
Today's mobile phones represent a rich and powerful computing platform, given their sensing, processing and communication capabilities. Phones are also part of the everyday l...
165
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
According to cognitive science literature, human memory is predicated on contextual cues (e.g., room, music) in the environment. During recall tasks, we associate information/acti...
188
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
185
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The accumulation of high-throughput data greatly promotes computational investigation of gene function in the context of complex biological systems. However, a biologi...
181
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
A significant fraction of persons with cognitive disabilities are potentially able to live more independently with the use of powerful tools embedded in their social environment. ...