Sciweavers

483 search results - page 10 / 97
» Linear Ranking with Reachability
Sort
View
NIPS
2008
13 years 9 months ago
Empirical performance maximization for linear rank statistics
The ROC curve is known to be the golden standard for measuring performance of a test/scoring statistic regarding its capacity of discrimination between two populations in a wide v...
Stéphan Clémençon, Nicolas Va...
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 7 months ago
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, En...
ISSAC
2007
Springer
94views Mathematics» more  ISSAC 2007»
14 years 1 months ago
Solving toeplitz- and vandermonde-like linear systems with large displacement rank
Linear systems with structures such as Toeplitz-, Vandermonde- or Cauchy-likeness can be solved in O˜(α2 n) operations, where n is the matrix size, α is its displacement rank, ...
Alin Bostan, Claude-Pierre Jeannerod, Éric ...
AUTOMATICA
2006
137views more  AUTOMATICA 2006»
13 years 7 months ago
A Newton-like method for solving rank constrained linear matrix inequalities
This paper presents a Newton-like algorithm for solving systems of rank constrained linear matrix inequalities. Though local quadratic convergence of the algorithm is not a priori...
Robert Orsi, Uwe Helmke, John B. Moore
ICTIR
2009
Springer
14 years 2 months ago
PageRank: Splitting Homogeneous Singular Linear Systems of Index One
Abstract. The PageRank algorithm is used today within web information retrieval to provide a content-neutral ranking metric over web pages. It employs power method iterations to so...
Douglas V. de Jager, Jeremy T. Bradley