8141 search results - page 13 / 1629 » Higher Order Generalization |
120
Voted
ENTCS
2008
15 years 2 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
135
Voted
IJCV
2010
15 years 27 days ago
2010
This paper addresses the segmentation from an image of entities that have the form of a ‘network’, i.e. the region in the image corresponding to the entity is composed of bran...
119
Voted
EUROCAST
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
145
click to vote
FLOPS
1999
Springer
15 years 6 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
107
click to vote
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
We propose a novel framework for imposing label ordering constraints in multilabel optimization. In particular, label jumps can be penalized differently depending on the jump dire...