151 search results - page 10 / 31 » Machine Learning of Higher Order Programs |
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
IEAAIE
2004
Springer
14 years 26 days ago
2004
Springer
The main issue in e-learning is student modelling, i.e. the analysis of a student’s behaviour and prediction of his/her future behaviour and learning performance. Indeed, it is d...
ECTEL
2010
Springer
13 years 5 months ago
2010
Springer
In order to understand whether conceptual obscurity is truly the reason for the slow uptake of IMS Learning Design (LD), we have initiated an investigation into teachers' unde...
ICMLA
2010
13 years 4 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Active learning is a generic approach to accelerate training of classifiers in order to achieve a higher accuracy with a small number of training examples. In the past, simple ac...