11539 search results - page 40 / 2308 » On Learning from Exercises |
AMAI
2006
Springer
14 years 9 months ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
ICML
1997
IEEE
15 years 10 months ago
1997
IEEE
The goal of robot learning from demonstration is to have a robot learn from watching a demonstration of the task to be performed. In our approach to learning from demonstration th...
LOGCOM
2008
14 years 9 months ago
2008
Question Answering (QA) is a task that deserves more collaboration between Natural Language Processing (NLP) and Knowledge Representation (KR) communities, not only to introduce r...
137
click to vote
SOSP
2009
ACM
15 years 6 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
ITRE
2005
IEEE
15 years 3 months ago
2005
IEEE
This work proposes concepts, designs, experiences and lessons learned from some studies of ad hoc learning supported by wireless and mobile technologies. The ad hoc learning activi...