Sciweavers

3269 search results - page 572 / 654
» Query Optimization for XML
Sort
View
SISW
2003
IEEE
15 years 7 months ago
Implementation of a Storage Mechanism for Untrusted DBMSs
Several architectures have been recently proposed that store relational data in encrypted form on untrusted relational databases. Such architectures permit the creation of novel I...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...
ISMIR
2001
Springer
100views Music» more  ISMIR 2001»
15 years 7 months ago
Efficient Multidimensional Searching Routines
The problem of Music Information Retrieval can often be formalized as “searching for multidimensional trajectories”. It is well known that string-matching techniques provide r...
Josh Reiss
132
Voted
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 7 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel
STOC
2000
ACM
134views Algorithms» more  STOC 2000»
15 years 7 months ago
Computing the median with uncertainty
We consider a new model for computing with uncertainty. It is desired to compute a function fX1; : : : ; Xn where X1; : : : ; Xn are unknown, but guaranteed to lie in speci ed i...
Tomás Feder, Rajeev Motwani, Rina Panigrahy...
139
Voted
ADL
2000
Springer
252views Digital Library» more  ADL 2000»
15 years 7 months ago
Audio Structuring and Personalized Retrieval Using Ontologies
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
Latifur Khan, Dennis McLeod