57 search results - page 8 / 12 » Variable elimination for building interpreters |
115
click to vote
EBERNBURG
1990
15 years 3 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
210
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
104
click to vote
CC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
CLUSTER
2007
IEEE
15 years 5 months ago
2007
IEEE
— OpenMP can be supported in cluster environments by using distributed shared memory (DSM) systems. A portable approach for building DSM systems is to layer it on MPI. With these...
120
click to vote
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...