3417 search results - page 454 / 684 » Visualizing Partial Evaluation |
174
click to vote
AGP
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
145
Voted
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a new method for matching individual line segments between images. The method uses both greylevel information and the multiple view geometric relations between...
152
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
190
click to vote
SRDS
1994
IEEE
15 years 10 months ago
1994
IEEE
Most recovery schemes that have been proposed for Distributed Shared Memory (DSM) systems require unnecessarily high checkpointing frequency and checkpoint traffic, which are sens...
156
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...