11394 search results - page 470 / 2279 » Error-Correcting Data Structures |
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
169
click to vote
COMGEO
2004
ACM
15 years 6 months ago
2004
ACM
We design a kinetic data structure for detecting collisions between two simple polygons in motion. In order to do so, we create a planar subdivision of the free space between the ...
166
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
185
click to vote
VVS
2000
IEEE
15 years 10 months ago
2000
IEEE
A novel approach for rendering time-varying data based on the Shear-Warp factorisation is presented. Reduction in storage space is achieved by detecting the changed areas within e...
171
click to vote
PRIS
2007
15 years 7 months ago
2007
Interval data is attracting attention from the data analysis community due to its ability to describe complex concepts. Since clustering is an important data analysis tool, extendi...