9067 search results - page 1491 / 1814 » Adaptive Model Checking |
174
click to vote
EDM
2010
15 years 8 months ago
2010
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...
158
click to vote
DELFI
2007
15 years 8 months ago
2007
: This paper presents the results of a study on notetaking in university courses and derives implications for the design of electronic notetaking and annotation systems in eLearnin...
190
click to vote
EMNLP
2008
15 years 8 months ago
2008
Question classification plays an important role in question answering. Features are the key to obtain an accurate question classifier. In contrast to Li and Roth (2002)'s app...
206
click to vote
ICONIP
2007
15 years 8 months ago
2007
Variational methods for approximate inference in machine learning often adapt a parametric probability distribution to optimize a given objective function. This view is especially ...
173
click to vote
MKWI
2008
15 years 8 months ago
2008
Agile workflow technology deals with business processes that require structural changes during run-time. For the difficult task of adapting the workflows, a modelling language that...