8828 search results - page 1578 / 1766 » Formal methods in practice |
147
click to vote
TSP
2012
13 years 12 months ago
2012
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
143
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—We aim to enhance the end-to-end rate of a general dual-hop relay network with multiple channels and finite modulation formats, by jointly optimizing channel pairing, p...
160
click to vote
PAMI
2012
13 years 6 months ago
2012
—Understanding the effect of blur is an important problem in unconstrained visual analysis. We address this problem in the context of image-based recognition, by a fusion of imag...
177
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
With the increasing popularity of practical vision systems and smart phones, text detection in natural scenes becomes a critical yet challenging task. Most existing methods have f...
182
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Turbulence near hot surfaces such as desert terrains and roads during the summer, causes shimmering, distortion and blurring in images. While recent works have focused on image re...