19010 search results - page 113 / 3802 » Adapting to adaptive testing |
135
click to vote
IJCAI
2007
15 years 5 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
101
Voted
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe Wayang Outpost, a web-based ITS for the Math section of the Scholastic Aptitude Test (SAT). It has several distinctive features: help with multimedia animatio...
138
Voted
ICALT
2010
IEEE
15 years 4 months ago
2010
IEEE
In this study I use statistical Natural Language Processing and adapted Controlled Language methods to preprocess individual documents before they are used as source documents for ...
143
Voted
SOFSEM
2010
Springer
16 years 18 days ago
2010
Springer
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
119
Voted
BIBM
2008
IEEE
15 years 10 months ago
2008
IEEE
Understanding what are the characteristics of proteinprotein interfaces is at the core of numerous applications. This paper introduces a method in which the proteins are described...