4743 search results - page 444 / 949 » Introduction to Functional Programming |
157
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
169
click to vote
TASLP
2010
15 years 1 months ago
2010
We introduce two new methods for the demodulation of acoustic signals by posing the problem in a convex optimization framework. This allows the parameters of the modulator and carr...
200
click to vote
ALT
2001
Springer
16 years 3 months ago
2001
Springer
The main question addressed in the present work is how to find effectively a recursive function separating two sets drawn arbitrarily from a given collection of disjoint sets. I...
170
click to vote
ICDT
1995
ACM
15 years 10 months ago
1995
ACM
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
174
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose a novel energy minimisation framework for the dense reconstruction of stereo image sequences that incorporates data fidelity as well as spatial and temporal regularity....