191 search results - page 1 / 39 » Adapting Mathematical Domain Reasoners |
AISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing f...
ECAI
2010
Springer
13 years 1 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
COGSYS
2005
Springer
13 years 6 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
STTT
2010
13 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
NC
1998
13 years 6 months ago
1998
: This paper describes a system, which integrates Neural Network (NN) models into adaptation circle of Case-based Reasoning (CBR) system. Neural Network supported adaptation can pr...