6608 search results - page 1217 / 1322 » On the Completeness of Model Checking |
148
click to vote
TOG
2012
13 years 6 months ago
2012
Humans have used sketching to depict our visual world since prehistoric times. Even today, sketching is possibly the only rendering technique readily available to all humans. This...
154
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...
157
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We present a novel framework for multiple object tracking in which the problems of object detection and data association are expressed by a single objective function. The framewor...
145
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
This paper introduces a bundle adjustment (BA) method that obtains accurate structure and motion from rolling shutter (RS) video sequences: RSBA. When a classical BA algorithm pro...
143
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
Failure detectors — oracles that provide information about process crashes — are an important ion for crash tolerance in distributed systems. Although current failure-detector...