8141 search results - page 54 / 1629 » Higher Order Generalization |
84
Voted
FLOPS
2001
Springer
15 years 5 months ago
2001
Springer
115
Voted
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
149
Voted
CADE
1999
Springer
15 years 5 months ago
1999
Springer
106
Voted
CSL
1999
Springer
15 years 5 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...
122
Voted
EMMCVPR
1999
Springer
15 years 5 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 ...