1628 search results - page 99 / 326 » Compiler Construction Using Scheme |
123
click to vote
ACNS
2007
Springer
15 years 9 months ago
2007
Springer
Based on the notion of accumulators, we propose a new cryptographic scheme called universal accumulators. This scheme enables one to commit to a set of values using a short accumul...
151
Voted
COMPGEOM
2010
ACM
15 years 10 months ago
2010
ACM
We present a simple randomized scheme for triangulating a set P of n points in the plane, and construct a kinetic data structure which maintains the triangulation as the points of...
171
Voted
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
Locality-Sensitive Hashing (LSH) and its variants are wellknown methods for solving the c-approximate NN Search problem in high-dimensional space. Traditionally, several LSH funct...
149
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
144
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...