10912 search results - page 2010 / 2183 » Object-Oriented Programming Languages |
192
click to vote
SPIN
2007
Springer
16 years 16 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
178
click to vote
UM
2007
Springer
16 years 16 days 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...
186
click to vote
UM
2007
Springer
16 years 16 days ago
2007
Springer
In this paper we show how model identifiability is an issue for student modeling: observed student performance corresponds to an infinite family of possible model parameter estimat...
153
click to vote
UM
2007
Springer
16 years 16 days ago
2007
Springer
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...
179
click to vote
UM
2007
Springer
16 years 16 days ago
2007
Springer
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...