11212 search results - page 302 / 2243 » Semi-persistent Data Structures |
185
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...
176
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 ...
179
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...
178
click to vote
WISE
2005
Springer
16 years 6 days ago
2005
Springer
This paper studies automatic extraction of structured data from Web pages. Each of such pages may contain several groups of structured data records. Existing automatic methods stil...
179
click to vote
PRIS
2007
15 years 8 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...