4914 search results - page 91 / 983 » Arbitration of a help system |
SIGIR
2010
ACM
13 years 8 months ago
2010
ACM
In this paper, we report findings on how user behaviors vary in tasks with different difficulty levels as well as of different types. Two behavioral signals: document dwell time a...
JUCS
2002
13 years 7 months ago
2002
: New wireless protocols like W-LAN and Bluetooth allow establishing spontaneous networks and peer-to-peer exchange of information. At the same time standards like Semantic Web and...
ECTEL
2010
Springer
13 years 6 months ago
2010
Springer
Argumentation is omnipresent in our lives and therefore an important skill to learn. While classic face-to-face argumentation and debate has advantages in helping people learn to a...
ACL
2012
11 years 10 months ago
2012
Writing in English might be one of the most difficult tasks for EFL (English as a Foreign Language) learners. This paper presents FLOW, a writing assistance system. It is built ba...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...