5109 search results - page 310 / 1022 » On Learning Limiting Programs |
158
click to vote
ICRA
2008
IEEE
16 years 1 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...
193
Voted
DATE
2005
IEEE
16 years 11 days 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...
172
click to vote
UM
2005
Springer
16 years 6 days 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...
169
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
174
click to vote
ACE
2004
15 years 8 months ago
2004
This paper discusses our rationale for teaching the fundamentals of computer architecture early in the computer science (CS) degree program. We also describe an active learning te...