Login / Signup

Ranking Templates for Linear Loops.

Jan LeikeMatthias Heizmann
Published in: TACAS (2014)
Keyphrases
  • web search
  • ranking algorithm
  • data mining
  • ranking functions
  • learning to rank
  • linear systems
  • rank aggregation
  • data sets
  • artificial intelligence
  • computer vision
  • website
  • document retrieval
  • rank order