11394 search results - page 375 / 2279 » Error-Correcting Data Structures |
133
click to vote
ECCC
2007
15 years 4 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
137
click to vote
COMPGEOM
1999
ACM
15 years 9 months ago
1999
ACM
We define the path of a pseudo-triangulation, a data structure generalizing the path of a triangulation of a point set. This structure allows us to use divide-andconquer type of ...
133
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
147
click to vote
COMPGEOM
2008
ACM
15 years 6 months ago
2008
ACM
We present a kinetic data structure for maintaining a (1+ )-spanner of size O(n/2 ) for a set of n moving points in the plane. Assuming the trajectories of the points can be descr...
152
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...