1134 search results - page 24 / 227 » Sequential Inductive Learning |
ITS
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...
JAR
2008
13 years 9 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
FMOODS
2003
13 years 11 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
WEBI
2005
Springer
14 years 3 months ago
2005
Springer
Over the last years, we have witnessed an explosive growth of e-learning. More and more learning contents have been published and shared over the Internet. Therefore, how to progr...
ICDE
2005
IEEE
14 years 3 months ago
2005
IEEE
Sequence pattern mining is an important research problem because it is the basis of many other applications. Yet how to efficiently implement the mining is difficult due to the ...