105 search results - page 1 / 21 » Higher Order Demand Propagation |
IFL
1998
Springer
13 years 9 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...
ICTAC
2007
Springer
13 years 11 months ago
2007
Springer
EUROCRYPT
1991
Springer
13 years 8 months ago
1991
Springer
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second ord...
ECCV
2006
Springer
14 years 7 months ago
2006
Springer
Belief propagation (BP) has become widely used for low-level vision problems and various inference techniques have been proposed for loopy graphs. These methods typically rely on a...
POPL
1995
ACM
13 years 8 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...