3495 search results - page 188 / 699 » On the random satisfiable process |
153
click to vote
PROPERTYTESTING
2010
15 years 2 months ago
2010
We study the local testability of linear codes. We first reformulate this question in the language of tolerant linearity testing under a non-uniform distribution. We then study th...
135
click to vote
ICTAI
2009
IEEE
15 years 2 months ago
2009
IEEE
We propose a framework which we call stochastic offline programming (SOP). The idea is to embed the development of combinatorial algorithms in an off-line learning environment whi...
120
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Recently, the statistical restricted isometry property (RIP) has been formulated to analyze the performance of deterministic sampling matrices for compressed sensing. In this paper...
151
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This work deals with trajectory optimization for a network of robotic sensors sampling a spatio-temporal random field. We examine the problem of minimizing over the space of networ...
166
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...