4716 search results - page 438 / 944 » Tangible functional programming |
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...
175
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....
155
Voted
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We derive a robust Euclidean embedding procedure based on semidefinite programming that may be used in place of the popular classical multidimensional scaling (cMDS) algorithm. We...
298
Voted
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...