Sciweavers

357 search results - page 42 / 72
» An Algebraic Approach to the Complexity of Generalized Conju...
Sort
View
CIDR
2007
100views Algorithms» more  CIDR 2007»
13 years 9 months ago
Database Cracking
Database indices provide a non-discriminative navigational infrastructure to localize tuples of interest. Their maintenance cost is taken during database updates. In this paper, w...
Stratos Idreos, Martin L. Kersten, Stefan Manegold
ICPPW
2006
IEEE
14 years 2 months ago
A Hybrid XML-Relational Grid Metadata Catalog
The ability to manage metadata is a critical requirement of the grid, but scientists have not been given the tools needed to catalog experimental data based complex metadata attri...
Scott Jensen, Beth Plale, Sangmi Lee Pallickara, Y...
LATIN
2004
Springer
14 years 1 months ago
A Proof System and a Decision Procedure for Equality Logic
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
Olga Tveretina, Hans Zantema
VISUALIZATION
2005
IEEE
14 years 1 months ago
Framework for Visualizing Higher-Order Basis Functions
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
William J. Schroeder, François Bertel, Math...
SSD
2007
Springer
146views Database» more  SSD 2007»
14 years 2 months ago
Blind Evaluation of Nearest Neighbor Queries Using Space Transformation to Preserve Location Privacy
In this paper we propose a fundamental approach to perform the class of Nearest Neighbor (NN) queries, the core class of queries used in many of the location-based services, withou...
Ali Khoshgozaran, Cyrus Shahabi