912 search results - page 2 / 183 » Inductive Databases as Ranking |
CAV
2005
Springer
13 years 10 months ago
2005
Springer
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...
ICDE
2007
IEEE
13 years 11 months ago
2007
IEEE
OLAP (On-Line Analytical Processing) and Ranking are currently separate technologies in the database systems. OLAP emphasizes on efficient multidimensional data analysis and ranki...
EDBT
2008
ACM
14 years 5 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
VLDB
2004
ACM
13 years 10 months ago
2004
ACM
We investigate the problem of ranking answers to a database query when many tuples are returned. We adapt and apply principles of probabilistic models from Information Retrieval f...
ICML
2009
IEEE
13 years 11 months ago
2009
IEEE
The label ranking problem consists of learning a model that maps instances to total orders over a finite set of predefined labels. This paper introduces new methods for label ra...