2169 search results - page 90 / 434 » Testing Incremental Adaptation |
ITS
2004
Springer
14 years 1 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...
ICALT
2010
IEEE
13 years 9 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 ...
SOFSEM
2010
Springer
14 years 5 months 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...
BIBM
2008
IEEE
14 years 2 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...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
Today’s aerial robots are being tasked to fly in nearEarth environments such as caves, forests and buildings. The lack of flight data and performance metrics poses a gap that ...