2685 search results - page 284 / 537 » Modeling task experience in user assistance systems |
193
click to vote
AAI
2007
15 years 6 months ago
2007
In recent years, the KDD process has been advocated to be an iterative and interactive process. It is seldom the case that a user is able to answer immediately with a single query...
158
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
171
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper, we develop a novel real-time, interactive, automatic multimodal exploratory environment that dynamically adapts the media presented, to user context. There are two ...
190
click to vote
ENTCS
2008
15 years 6 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
201
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...