1018 search results - page 165 / 204 » Property Testing in Computational Geometry |
APPROX
2004
Springer
14 years 2 months ago
2004
Springer
The central observation of this paper is that if ǫn random arcs are added to any n-node strongly connected digraph with bounded degree then the resulting graph has diameter O(ln ...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
BMCBI
2007
13 years 8 months ago
2007
Background: Large-scale sequencing of entire genomes has ushered in a new age in biology. One of the next grand challenges is to dissect the cellular networks consisting of many i...
SMA
2009
ACM
14 years 3 months ago
2009
ACM
We present the “Dynamic Packing Grid” (DPG) data structure along with details of our implementation and performance results, for maintaining and manipulating flexible molecul...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we address the complex problem of rapid modeling
of large-scale areas and present a novel approach for the automatic
reconstruction of cities from remote sensor da...