1965 search results - page 232 / 393 » On the analysis of interacting pushdown systems |
CAEPIA
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
ICMI
2005
Springer
14 years 3 months ago
2005
Springer
Untethered multimodal interfaces are more attractive than tethered ones because they are more natural and expressive for interaction. Such interfaces usually require robust vision...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
ACMDIS
2006
ACM
14 years 4 months ago
2006
ACM
Think-aloud testing is a widely employed usability evaluation method, yet its use in practice is rarely studied. We report an explorative study of 14 think-aloud sessions, the aud...
MSV
2007
13 years 11 months ago
2007
- Researchers are faced with a wide range of tasks when interacting with the literature of a scientific field. These tasks range from determining the field’s seminal documents, f...