Sciweavers

483 search results - page 13 / 97
» Linear Ranking with Reachability
Sort
View
SIAMSC
2011
219views more  SIAMSC 2011»
13 years 3 months ago
Fast Algorithms for Bayesian Uncertainty Quantification in Large-Scale Linear Inverse Problems Based on Low-Rank Partial Hessian
We consider the problem of estimating the uncertainty in large-scale linear statistical inverse problems with high-dimensional parameter spaces within the framework of Bayesian inf...
H. P. Flath, Lucas C. Wilcox, Volkan Akcelik, Judi...
VMCAI
2004
Springer
14 years 2 months ago
A Complete Method for the Synthesis of Linear Ranking Functions
Andreas Podelski, Andrey Rybalchenko
WAW
2004
Springer
124views Algorithms» more  WAW 2004»
14 years 2 months ago
Fast PageRank Computation Via a Sparse Linear System (Extended Abstract)
ystem (Extended Abstract) Gianna M. Del Corso1 Antonio Gull´ı1,2 Francesco Romani1 1 Dipartimento di Informatica, University of Pisa, Italy 2 IIT-CNR, Pisa
Gianna M. Del Corso, Antonio Gulli, Francesco Roma...
TCS
2008
13 years 8 months ago
Solving structured linear systems with large displacement rank
Alin Bostan, Claude-Pierre Jeannerod, Éric ...