1816 search results - page 65 / 364 » Formal Concepts of Learning Systems Validation in Use |
146
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
138
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...
149
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Shaping functions can be used in multi-task reinforcement learning (RL) to incorporate knowledge from previously experienced tasks to speed up learning on a new task. So far, rese...
130
click to vote
AAAI
2008
15 years 7 months ago
2008
Traditional information retrieval systems use query words to identify relevant documents. In difficult retrieval tasks, however, one needs access to a wealth of background knowled...
161
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...