3963 search results - page 366 / 793 » Designing for learning |
166
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
171
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
This paper is concerned with personalisation of user agents by symbolic, on-line machine learning techniques. The application of these ideas to an infotainment agent is discussed ...
181
Voted
CLEIEJ
2008
15 years 7 months ago
2008
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
163
Voted
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
201
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...