3495 search results - page 200 / 699 » On the random satisfiable process |
220
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Three-dimensional electron-microscopic image stacks with almost isotropic resolution allow, for the first time, to determine the complete connection matrix of parts of the brain. I...
152
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Concentration of measure inequalities are at the heart of much theoretical analysis of randomized compressive operators. Though commonly studied for dense matrices, in this paper ...
176
click to vote
PE
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we study the problem of dynamic allocation of the resources of a general parallel processing system, comprised of M heterogeneous processors and M heterogeneous tra...
372
click to vote
DAGM
2011
Springer
14 years 6 months ago
2011
Springer
We present a system for estimating location and orientation of a person’s head, from depth data acquired by a low quality device. Our approach is based on discriminative random r...
177
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...