1116 search results - page 158 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ISDA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—This paper introduces and compares some techniques used to predict the student performance at the university. Recently, researchers have focused on applying machine lear...
COLT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We consider the problem of learning an acyclic discrete circuit with n wires, fan-in bounded by k and alphabet size s using value injection queries. For the class of tran...
ECML
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
ICANN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
138
click to vote
MLG
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...