Sciweavers

3020 search results - page 468 / 604
» Similarity Queries on Structured Data in Structured Overlays
Sort
View
VMCAI
2007
Springer
16 years 1 months ago
Invariant Synthesis for Combined Theories
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, A...
WEBI
2007
Springer
16 years 1 months ago
An unsupervised hierarchical approach to document categorization
— We propose a hierarchical approach to document categorization that requires no pre-configuration and maps the semantic document space to a predefined taxonomy. The utilizatio...
Robert Wetzker, Tansu Alpcan, Christian Bauckhage,...
FOCS
2006
IEEE
16 years 1 months ago
On the Optimality of the Dimensionality Reduction Method
We investigate the optimality of (1+ )-approximation algorithms obtained via the dimensionality reduction method. We show that: • Any data structure for the (1 + )-approximate n...
Alexandr Andoni, Piotr Indyk, Mihai Patrascu
COMPGEOM
2006
ACM
16 years 28 days ago
Optimal succinct representations of planar maps
This paper addresses the problem of representing the connectivity information of geometric objects using as little memory as possible. As opposed to raw compression issues, the fo...
Luca Castelli Aleardi, Olivier Devillers, Gilles S...
BTW
2003
Springer
119views Database» more  BTW 2003»
16 years 5 days ago
Multidimensional Mapping and Indexing of XML
: We propose a multidimensional approach to store XML data in relational database systems. In contrast to other efforts we suggest a solution to the problem using established datab...
Michael G. Bauer, Frank Ramsak, Rudolf Bayer