1087 search results - page 186 / 218 » Eta-Redexes in Partial Evaluation |
TIT
2008
13 years 8 months ago
2008
We investigate the decoding problem of Reed-Solomon (RS) Codes, also known as the Polynomial Reconstruction Problem (PR), from a cryptographic hardness perspective. Namely, we dea...
SAS
1999
Springer
14 years 23 days ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
INFOVIS
1998
IEEE
14 years 23 days ago
1998
IEEE
The order and arrangement of dimensions (variates) is crucial for the effectiveness of a large number of visualization techniques such as parallel coordinates, scatterplots, recur...
AGP
1997
IEEE
14 years 22 days 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 ...
CVPR
1997
IEEE
14 years 22 days 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...