746 search results - page 49 / 150 » Updates Under Pstable |
247
click to vote
CIDR
2011
14 years 3 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...
130
click to vote
JMLR
2012
13 years 2 months ago
2012
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...
102
click to vote
PAMI
2012
13 years 2 months ago
2012
—We study the problem of approximating a 3D solid with a union of overlapping spheres. In comparison with a stateof-the-art approach, our method offers more than an order of magn...
114
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
118
click to vote
SIAMCOMP
2012
13 years 2 months ago
2012
Let S be a set of n intervals in R, and let (S, +) be any commutative semigroup. We assign a weight ω(s) ∈ S to each interval in S. For a point x ∈ R, let S(x) ⊆ S be the se...