2045 search results - page 166 / 409 » Learning programming with Erlang |
AH
2006
Springer
14 years 1 months ago
2006
Springer
Interactive Digital TV (IDTV) opens new learning possibilities where new forms of education are needed. In this paper we explain a new conception of t-learning experiences where TV...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
We use a lexicographical preference order on the problem space to combine solution synthesis with conflict learning. Given two preferred solutions of two subproblems, we can either...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— We present a framework for the programming of manipulation behavior by means of an intrinsic reward function that encourages the building of deep control knowledge. We show how...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
UM
2005
Springer
14 years 2 months ago
2005
Springer
We present a computational framework designed to provide adaptive support aimed at triggering learning from problem-solving activities in the presence of worked-out examples. The k...