2643 search results - page 51 / 529 » Higher order messaging |
AGP
1999
IEEE
14 years 3 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
CADE
1999
Springer
14 years 3 months ago
1999
Springer
CSL
1999
Springer
14 years 3 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...
EMMCVPR
1999
Springer
14 years 3 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
14 years 3 months ago
1999
Springer