403 search results - page 8 / 81 » Contracts for higher-order functions |
89
Voted
AMC
2005
14 years 11 months ago
2005
A finite element method of the penalization type, using higher order shape functions with rectangular elements, is presented for the solution of the Stokes flow. The fluid is visc...
105
Voted
POPL
1998
ACM
15 years 3 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the problem of exactly inferring the maximum a posteriori solutions of discrete multi-label MRFs or CRFs with higher order cliques. We present a framework to ...
97
Voted
FSS
2011
14 years 3 months ago
2011
In many practical applications, it is useful to represent a function f(x) by its fuzzy transform, i.e., by the “average” values Fi = f(x) · Ai(x) dx Ai(x) dx over different ...
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...