2032 search results - page 300 / 407 » Encodings of the Sequence Constraint |
169
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
200
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
In this paper we reformulate the 3D reconstruction of deformable surfaces from monocular video sequences as a labeling problem. We solve simultaneously for the assignment of featu...
192
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
One of the main issues in the design of sensor networks is energy efficient communication of time-critical data. Energy wastage can be caused by failed packet transmission attempts...
211
click to vote
PAMI
2011
15 years 1 months ago
2011
—We show that, via temporal modulation, one can observe and capture a high-speed periodic video well beyond the abilities of a low-frame-rate camera. By strobing the exposure wit...
208
click to vote
IJRR
2010
15 years 1 months ago
2010
Abstract-This paper describes a new image-based approach to tracking the 6 degrees of freedom trajectory of a stereo camera pair. The proposed technique estimates the pose and subs...