Concepedia

Ranking Functions

Ranking Functions is a mathematical construct used in termination analysis to prove that a program's execution eventually halts by mapping computational states to a well-founded domain, thereby ensuring progress toward termination through strictly decreasing values.

306

Publications

22.1K

Citations

726

Authors

300

Institutions

Publications per year

2017–2026

64

Parents

Publications

306

Learning to rank using gradient descent

Chris Burges, Tal Shaked, Erin Renshaw et al. · 2005 · 2.8K citations

, , +15

Novelty and diversity in information retrieval evaluation

Charles L. A. Clarke, Maheedhar Kolla, Gordon V. Cormack et al. · 2008 · 951 citations

, , +14

Recurrent Neural Networks with Top-k Gains for Session-based Recommendations

Balázs Hidasi, Alexandros Karatzoglou · 2018 · 939 citations · Full text

, , +16

Relative attributes

Devi Parikh, Kristen Grauman · 2011 · 900 citations

, , +16

Modeling video evolution for action recognition

Basura Fernando, Efstratios Gavves, José Oramas et al. · 2015 · 612 citations · Full text

, , +14

1–5 of 306

Authors

726

  1. HZ
    Hongyuan Zha

    Georgia Institute of Technology, United States

    9 publications · 567 citations

    9

    h-index

  2. ZZ
    Zhaohui Zheng

    Yahoo (United States), United States

    6 publications · 512 citations

    6

    h-index

  3. AM
    Amir M. Ben-Amram

    Academic College of Tel Aviv-Yafo, Israel

    5 publications · 184 citations

    5

    h-index

  4. JW
    Ji-Rong Wen

    Renmin University of China, China

    5 publications · 184 citations

    5

    h-index

  5. GS
    Gordon Sun

    Yahoo (United States), United States

    5 publications · 466 citations

    5

    h-index

1–5 of 726

Institutions

300

  1. Microsoft (United States)

    Redmond, United States

    15 h-index

    36 publications

    21.5K citations

  2. Yahoo (United States)

    Sunnyvale, United States

    12 h-index

    51 publications

    4.5K citations

  3. University of Maryland, College Park

    College Park, United States

    11 h-index

    22 publications

    2K citations

  4. Microsoft Research Asia (China)

    Beijing, China

    10 h-index

    24 publications

    1.9K citations

  5. Georgia Institute of Technology

    Atlanta, United States

    8 h-index

    11 publications

    630 citations

  6. New York University

    New York, United States

    7 h-index

    12 publications

    215 citations

  7. Cornell University

    Ithaca, United States

    6 h-index

    16 publications

    2.5K citations

  8. Chinese Academy of Sciences

    Beijing, China

    6 h-index

    14 publications

    986 citations

1–8 of 300

Venues

  1. arXiv (Cornell University)

    Repository · 11 publications · 541 citations

    10

    h-index

  2. IEEE Transactions on Knowledge and Data Engineering

    TKDE · 6 publications · 200 citations

    6

    h-index

  3. Proceedings of the VLDB Endowment

    PVLDB · 4 publications · 191 citations

    4

    h-index

  4. ACM SIGPLAN Notices

    4 publications · 120 citations

    4

    h-index

  5. Logical Methods in Computer Science

    LMCS · 4 publications · 92 citations

    4

    h-index

1–5