Sciweavers

2217 search results - page 324 / 444
» Rank-aware Query Optimization
Sort
View
128
Voted
ISMIR
2001
Springer
100views Music» more  ISMIR 2001»
15 years 9 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
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 9 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 9 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...
ADL
2000
Springer
252views Digital Library» more  ADL 2000»
15 years 9 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
CORR
2002
Springer
96views Education» more  CORR 2002»
15 years 4 months ago
Models and Tools for Collaborative Annotation
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...
Xiaoyi Ma, Haejoong Lee, Steven Bird, Kazuaki Maed...