8141 search results - page 61 / 1629 » Higher Order Generalization |
102
click to vote
ECML
2006
Springer
15 years 4 months ago
2006
Springer
This paper studies the PAC and agnostic PAC learnability of some standard function classes in the learning in higher-order logic setting introduced by Lloyd et al. In particular, i...
110
Voted
ESA
2000
Springer
15 years 4 months ago
2000
Springer
For a set P of points in the plane, we introduce a class of triangulations that is an extension of the Delaunay triangulation. Instead of requiring that for each triangle the circ...
79
Voted
RTA
2000
Springer
15 years 4 months ago
2000
Springer
82
Voted
RTA
2000
Springer
15 years 4 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...
103
click to vote
AFP
1995
Springer
15 years 4 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...