6251 search results - page 225 / 1251 » Randomness, Computability, and Density |
132
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The weakly pulse-coupled oscillator framework has proven to be a valuable resource for the development of peer-to-peer synchronization algorithms [9]. But leveraging it in a pract...
172
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
Simultaneously segmenting and labeling images is a fundamental problem in Computer Vision. In this paper, we introduce a hierarchical CRF model to deal with the problem of labelin...
130
click to vote
DC
2000
15 years 4 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
137
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
An important problem in image labeling concerns learning with images labeled at varying levels of specificity. We propose an approach that can incorporate images with labels drawn...
103
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...