368 search results - page 45 / 74 » Task Modelling for Context-Sensitive User Interfaces |
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Adaptive software systems are intended to modify their appearance, performance or functionality to the needs and preferences of different users. A key bottleneck in building effec...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
SIGDOC
2009
ACM
14 years 2 months ago
2009
ACM
To see whether, from the user’s standpoint, muddling through with trial-and-error exploration of the interface actually works as well as consulting help, we analyzed video recor...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We present a machine-learned model that can automatically detect when a student using an intelligent tutoring system is off-task, i.e., engaged in behavior which does not involve ...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
We discuss a retrieval model in which the task is to complete a sentence, given an initial fragment, and given an application specific document collection. This model is motivate...