579 search results - page 41 / 116 » User Modelling for Live Help Systems |
FORTE
1994
13 years 11 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
IUI
2003
ACM
14 years 3 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
IV
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
AIEDU
2008
13 years 10 months ago
2008
: This paper reports research concerning issues involved in adopting a computational dialectics approach to develop a human-computer dialogue system for educational debate. In part...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Mobile commerce (m-Commerce), which allows for anytime/anywhere access to information and services, shows great potential. Ubiquitous access to information systems is critical to e...