1134 search results - page 143 / 227 » Sequential Inductive Learning |
CAV
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
ICML
1989
IEEE
15 years 2 months ago
1989
IEEE
The training experiences needed by a learning system may be selected by either an external agent or the system itself. We show that knowledge of the current state of the learner&#...
SDM
2008
SIAM
14 years 11 months ago
2008
SIAM
Semi-supervised learning plays an important role in the recent literature on machine learning and data mining and the developed semisupervised learning techniques have led to many...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
ECML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...