18 search results - page 3 / 4 » A Recognizer of Rational Trace Languages |
FOSSACS
2001
Springer
14 years 3 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ITS
2004
Springer
14 years 4 months ago
2004
Springer
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
AIEDU
2006
13 years 11 months ago
2006
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
VL
2008
IEEE
14 years 5 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
UM
2007
Springer
14 years 5 months ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...