3082 search results - page 28 / 617 » its 2004 |
75
Voted
SFM
2004
Springer
15 years 5 months ago
2004
Springer
This is a tutorial paper on the tool Uppaal. Its goal is to
102
click to vote
KDID
2004
15 years 1 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
15 years 8 days 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.
109
click to vote
ICAISC
2004
Springer
15 years 5 months 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...
89
Voted
ITS
2004
Springer
15 years 5 months 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...