Sciweavers

483 search results - page 10 / 97
» Linear Ranking with Reachability
Sort
View
NIPS
2008
14 years 11 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»
14 years 9 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»
15 years 3 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»
14 years 9 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
15 years 4 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