Sciweavers

483 search results - page 13 / 97
» Linear Ranking with Reachability
Sort
View
189
Voted
SIAMSC
2011
219views more  SIAMSC 2011»
14 years 8 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...
120
Voted
VMCAI
2004
Springer
15 years 7 months ago
A Complete Method for the Synthesis of Linear Ranking Functions
Andreas Podelski, Andrey Rybalchenko
97
Voted
WAW
2004
Springer
124views Algorithms» more  WAW 2004»
15 years 7 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...
82
Voted
TCS
2008
15 years 1 months ago
Solving structured linear systems with large displacement rank
Alin Bostan, Claude-Pierre Jeannerod, Éric ...