1173 search results - page 32 / 235 » Ranking functions and rankings on languages |
AIRS
2010
Springer
13 years 5 months ago
2010
Springer
This paper is concerned with a new task of ranking, referred to as "supplementary data assisted ranking", or "supplementary ranking" for short. Different from c...
ICDE
2010
IEEE
14 years 7 months ago
2010
IEEE
An ever-increasing amount of data and semantic knowledge in the domain of life sciences is bringing about new data management challenges. In this paper we focus on adding the seman...
JSS
2006
13 years 7 months ago
2006
Citation analysis helps in evaluating the impact of scientific collections (journals and conferences), publications and scholar authors. In this paper we examine known algorithms ...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper discusses the ranking of a set of objects when a possibly inconsistent set of pairwise preferences is given. We consider the task of ranking objects when pairwise prefe...
CAV
2005
Springer
14 years 1 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 ...