Sciweavers

1173 search results - page 2 / 235
» Ranking functions and rankings on languages
Sort
View
SIGIR
2009
ACM
13 years 11 months ago
Incorporating prior knowledge into a transductive ranking algorithm for multi-document summarization
This paper presents a transductive approach to learn ranking functions for extractive multi-document summarization. At the first stage, the proposed approach identifies topic th...
Massih-Reza Amini, Nicolas Usunier
ICDE
2008
IEEE
189views Database» more  ICDE 2008»
13 years 11 months ago
Adapting ranking functions to user preference
— Learning to rank has become a popular method for web search ranking. Traditionally, expert-judged examples are the major training resource for machine learned web ranking, whic...
Keke Chen, Ya Zhang, Zhaohui Zheng, Hongyuan Zha, ...
ICALP
2005
Springer
13 years 10 months ago
The Polyranking Principle
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
Aaron R. Bradley, Zohar Manna, Henny B. Sipma
ICDE
2007
IEEE
139views Database» more  ICDE 2007»
13 years 11 months ago
Integrating OLAP and Ranking: The Ranking-Cube Methodology
OLAP (On-Line Analytical Processing) and Ranking are currently separate technologies in the database systems. OLAP emphasizes on efficient multidimensional data analysis and ranki...
Dong Xin, Jiawei Han
TACAS
2010
Springer
146views Algorithms» more  TACAS 2010»
14 years 9 days ago
Ranking Function Synthesis for Bit-Vector Relations
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
Byron Cook, Daniel Kroening, Philipp Rümmer, ...