1598 search results - page 192 / 320 » A Unified Computation Model for Functional and Logic Program... |
174
click to vote
ICTCS
2005
Springer
15 years 12 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...
165
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Robust integration of range images is an important task for building high-quality 3D models. Since range images, and in particular range maps from stereo vision, may have a substa...
166
click to vote
PPSN
1992
Springer
15 years 10 months ago
1992
Springer
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
158
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper presents a new method to compute the probability distribution of the delay of a combinational circuit and uses it obtain an estimate of the yield of the process that ma...
188
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...