66 search results - page 5 / 14 » Recursive Functions with Higher Order Domains |
IGARSS
2010
14 years 7 months ago
2010
Presented in this paper is a method of retrieving higher order statistical functions of the ocean wave surface from sunglint, or solar optical radiation specularly reflected from t...
IFL
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
We present the Higher Order Proxy Neighborhoods (HOPS) approach to modeling higher order neighborhoods in Markov Random Fields (MRFs). HOPS incorporates more context information i...
106
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper, we deal with a generative model for multi-label, interactive segmentation. To estimate the pixel likelihoods for each label, we propose a new higher-order formulatio...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...