7340 search results - page 319 / 1468 » The Behavior of Tutoring Systems |
141
click to vote
FMOODS
2008
15 years 8 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
181
click to vote
NAACL
2004
15 years 8 months ago
2004
End-to-end evaluations of conversational dialogue systems with naive users are currently uncovering severe usability problems that result in low task completion rates. Preliminary...
171
click to vote
ACL
2010
15 years 4 months ago
2010
This paper explores the use of clickthrough data for query spelling correction. First, large amounts of query-correction pairs are derived by analyzing users' query reformula...
226
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
We study the effect of combining selfishness and altruism in atomic congestion games. We allow players to be partially altruistic and partially selfish and determine the impact of ...
181
click to vote
ATVA
2005
Springer
16 years 5 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...