4573 search results - page 686 / 915 » Automated Reasoning |
166
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
149
click to vote
ICWL
2007
Springer
16 years 22 days ago
2007
Springer
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
198
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
204
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
226
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...