5109 search results - page 237 / 1022 » On Learning Limiting Programs |
168
click to vote
DIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
164
click to vote
AICOM
2006
15 years 6 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
173
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Two of the mostly unsolved but increasingly urgent problems for modern biologists are a) to quickly and easily analyse protein structures and b) to comprehensively min...
155
click to vote
SIGCSE
2005
ACM
15 years 12 months ago
2005
ACM
Professional software developers use version control systems to coordinate their work, and to provide an unwindable history of their project’s evolution. In contrast, students i...
175
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...