Sciweavers

2698 search results - page 393 / 540
» Approximation Algorithms for the Weighted Independent Set Pr...
Sort
View
SPAA
2006
ACM
16 years 11 days ago
On space-stretch trade-offs: upper bounds
One of the fundamental trade-offs in compact routing schemes is between the space used to store the routing table on each node and the stretch factor of the routing scheme – th...
Ittai Abraham, Cyril Gavoille, Dahlia Malkhi
ICIP
2006
IEEE
16 years 8 months ago
A Probabilistic Approach to Robust Shape Matching
We present a probabilistic approach to shape matching which is invariant to rotation, translation and scaling. Shapes are represented by unlabeled point sets, so discontinuous bou...
Graham McNeill, Sethu Vijayakumar
ER
2009
Springer
118views Database» more  ER 2009»
16 years 1 months ago
Specifying Valid Compound Terms in Interrelated Faceted Taxonomies
In previous work, we proposed an algebra whose operators allow to specify the valid compound terms of a faceted taxonomy, in a flexible manner (by combining positive and negative ...
Anastasia Analyti, Yannis Tzitzikas, Nicolas Spyra...
ATVA
2005
Springer
108views Hardware» more  ATVA 2005»
15 years 12 months ago
Multi-valued Model Checking Games
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
Sharon Shoham, Orna Grumberg
SIGMOD
2004
ACM
163views Database» more  SIGMOD 2004»
16 years 6 months ago
Constraint-Based XML Query Rewriting For Data Integration
We study the problem of answering queries through a target schema, given a set of mappings between one or more source schemas and this target schema, and given that the data is at...
Cong Yu, Lucian Popa