403 search results - page 13 / 81 » Contracts for higher-order functions |
TPHOL
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
FSS
2008
14 years 11 months ago
2008
A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reaso...
100
click to vote
ANOR
2010
14 years 9 months ago
2010
We derive representations of higher order dual measures of risk in Lp spaces as suprema of integrals of Average Values at Risk with respect to probability measures on (0, 1] (Kusu...
100
click to vote
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
110
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We use a simple yet powerful higher-order conditional random field (CRF) to model optical flow. It consists of a standard photoconsistency cost and a prior on affine mo...