3044 search results - page 129 / 609 » Linear logical approximations |
134
click to vote
JMLR
2010
14 years 10 months ago
2010
This paper considers the problem of estimating a high dimensional inverse covariance matrix that can be well approximated by "sparse" matrices. Taking advantage of the c...
92
Voted
ICCAD
2005
IEEE
16 years 8 days ago
2005
IEEE
— This paper presents a new hybrid linear equation solver for quadratic placement. The new solver is a combination of stochastic solver and iterative solver: it is proven in this...
171
Voted
OL
2011
14 years 10 months ago
2011
We demonstrate that the Linear Multidimensional Assignment Problem with iid random costs is polynomially "-approximable almost surely (a. s.) via a simple greedy heuristic, f...
120
Voted
MOC
2010
14 years 10 months ago
2010
Abstract. The aim of this paper is to present and analyze a class of hpversion discontinuous Galerkin (DG) discretizations for the numerical approximation of linear elliptic proble...
121
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...