579 search results - page 6 / 116 » User Modelling for Live Help Systems |
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
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...
SIGKDD
2008
13 years 7 months ago
2008
Recommender systems are a nice tool to help nd items of interest from an overwhelming number of available items. Collaborative Filtering (CF), the best known technology for recomme...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
The SmartCampus initiative aims to turn an urban university campus into a living laboratory for location aware community system services. To lay a foundation for this effort, the ...
DEBU
2006
13 years 7 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...