Results 301 to 310 of about 12,421,662 (339)

Generalized subdifferentials of the rank function

Optimization Letters, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

Modeling Relevance as a Function of Retrieval Rank

2016
Batched evaluations in IR experiments are commonly built using relevance judgments formed over a sampled pool of documents. However, judgment coverage tends to be incomplete relative to the metrics being used to compute effectiveness, since collection size often makes it financially impractical to judge every document.
Xiaolu Lu 0002, Alistair Moffat, J. Shane Culpepper   +2 more
openaire   +3 more sources

Ranking functions for size-change termination

ACM Transactions on Programming Languages and Systems, 2009
This article explains how to construct a ranking function for any program that is proved terminating by size-change analysis . The “principle of size-change termination” for a first-order functional language with well-ordered data is intuitive: A program terminates on all inputs, if
openaire   +2 more sources

Discovering Ranking Functions

Expert T-SQL Window Functions in SQL Server 2019, 2019
K. Kellenberger, Clayton Groom
semanticscholar   +1 more source

Synthesizing Ranking Functions from Bits and Pieces

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2016
Caterina Urban, A. Gurfinkel, Temesghen Kahsai   +2 more
semanticscholar   +1 more source

An Empirical Study of a Simple Naive Bayes Classifier Based on Ranking Functions

Australasian Conference on Artificial Intelligence, 2016
Kinzang Chhogyal, Abhaya C. Nayak
semanticscholar   +1 more source

The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops

Theoretical Aspects of Software Engineering, 2016
Yi Li, Guang Zhu, Yong Feng
semanticscholar   +1 more source

On the function of university rankings

Journal of the Association for Information Science and Technology, 2013
openaire   +1 more source

Geo-Social Ranking: functions and query processing

The VLDB journal, 2015
Nikos Armenatzoglou, Ritesh Ahuja, Dimitris Papadias   +2 more
semanticscholar   +1 more source

A player unknown's battlegrounds ranking based optimization technique for power system optimization problem

Evolutionary Systematics, 2022
K. Bodha, V. Mukherjee, V. Yadav
semanticscholar   +1 more source