366 search results - page 16 / 74 » Model-checking higher-order functions |
110
click to vote
ECCV
2010
Springer
15 years 5 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...
PLILP
1993
Springer
15 years 3 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
122
click to vote
SIAMMAX
2011
14 years 2 months ago
2011
Higher-order tensors are used in many application fields, such as statistics, signal processing, and scientific computing. Efficient and reliable algorithms for manipulating thes...
106
click to vote
ICTCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
ECOOP
2003
Springer
15 years 5 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...