3082 search results - page 28 / 617 » its 2004 |
SFM
2004
Springer
14 years 26 days ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
KDID
2004
13 years 9 months ago
2004
The main drawbacks of sequential pattern mining have been its lack of focus on user expectations and the high number of discovered patterns. However, the solution commonly accepted...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
This paper explains why MMSE estimation arises in lattice-based strategies for approaching the capacity of linear Gaussian channels, and comments on its properties.
ICAISC
2004
Springer
14 years 27 days ago
2004
Springer
ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents the technical and pedagogical goals of ActiveMath, its principles of design and archite...
ITS
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. In this paper, we present an approach for supporting spatial awareness in an intelligent tutoring system, the purpose of which is to train astronauts to operating tasks o...