Sciweavers

2492 search results - page 318 / 499
» On the General Signature Trees
Sort
View
CP
2009
Springer
16 years 6 months ago
An Interpolation Method for CLP Traversal
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
STOC
2006
ACM
138views Algorithms» more  STOC 2006»
16 years 6 months ago
Searching dynamic point sets in spaces with bounded doubling dimension
We present a new data structure that facilitates approximate nearest neighbor searches on a dynamic set of points in a metric space that has a bounded doubling dimension. Our data...
Richard Cole, Lee-Ad Gottlieb
ICIAP
2001
Springer
16 years 6 months ago
Representing Volumetric Vascular Structures Using Curve Skeletons
This paper describes a technique to represent relevant information of tree-like structures in a compact way. The technique is general. In the application described here, the image...
Gabriella Sanniti di Baja, Ingela Nyström, St...
ICCAD
2006
IEEE
126views Hardware» more  ICCAD 2006»
16 years 2 months ago
Optimizing yield in global routing
We present the first efficient approach to global routing that takes spacing-dependent costs into account and provably finds a near-optimum solution including these costs. We sh...
Dirk Müller
STACS
2009
Springer
16 years 22 days ago
Polynomial-Time Approximation Schemes for Subset-Connectivity Problems in Bounded-Genus Graphs
We present the first polynomial-time approximation schemes (PTASes) for the following subset-connectivity problems in edge-weighted graphs of bounded genus: Steiner tree, low-conn...
Glencora Borradaile, Erik D. Demaine, Siamak Tazar...