2778 search results - page 133 / 556 » Limit complexities revisited |
161
click to vote
SOFSEM
2012
Springer
14 years 8 days ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
138
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
Geometric deformable models based on the level set method have become very popular in the last several years. To overcome an inherent limitation in accuracy while maintaining comp...
129
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we measure the responses of image patches, used as filters, on different image ensembles and examine how the responses are affected by reducing the resolution of th...
179
click to vote
ECCV
1994
Springer
16 years 6 months ago
1994
Springer
Abstract. This paper presents a new algorithm for structure from motion from an arbitrary number of tracked features over an arbitrary number of images, which possesses several adv...
131
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
1 The compression efficiency of Distributed Video-Coding2 (DVC) suffers from the necessity of transmitting a large num-3 ber of key-frames which are intra-coded. This paper describ...