2932 search results - page 50 / 587 » Higher order mining |
CSL
1999
Springer
15 years 4 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
109
click to vote
EMMCVPR
1999
Springer
15 years 4 months ago
1999
Springer
Markov Random Fields are widely used in many image processing applications. Recently the shortcomings of some of the simpler forms of these models have become apparent, and models ...
WADT
1999
Springer
15 years 4 months ago
1999
Springer
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE