1018 search results - page 154 / 204 » Property Testing in Computational Geometry |
115
click to vote
SIGMOD
1994
ACM
15 years 4 months ago
1994
ACM
Spatial joins are one of the most important operations for combining spatial objects of several relations. In this paper, spatial join processing is studied in detail for extended...
105
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
As the geometry shrinking faces severe limitations, 3D wafer stacking with through silicon via (TSV) has gained interest for future SOC integration. Since TSV fill material and s...
120
Voted
VISSYM
2004
15 years 2 months ago
2004
We present a three pass occlusion culling algorithm, which makes efficient use of hardware support. Our geo-scientific sub-surface data sets consist typically of a set of high res...
96
Voted
BMCBI
2008
15 years 22 days ago
2008
Background: The local connectivity and global position of a protein in a protein interaction network are known to correlate with some of its functional properties, including its e...
131
click to vote
JAR
2000
15 years 12 days ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...