8431 search results - page 208 / 1687 » Algorithmically Independent Sequences |
161
click to vote
EH
1999
IEEE
1999
IEEE
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
15 years 10 months ago
Our previous work focused on the synthesis of sequential circuits based on a partial input/output sequence. As the behavioural description of the target circuit is not known the c...
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We here address the problem of constructing sets of sequences with low integrated aperiodic auto- and crosscorrelations when the constraint of antipodal symbols is enforced. Our m...
154
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
In this paper the special case of reconstruction from image sequences taken by cameras with skew equal to 0 and aspect ratio equal to 1 has been treated. These type of cameras, he...
174
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. This paper proposes a quasi-dense reconstruction from uncalibrated sequence. The main innovation is that all geometry is computed based on re-sampled quasi-dense correspo...
150
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we propose a novel technique for estimating focused image sequences captured by an out-of-focus camera. The basic concept used in the proposed algorithm employs mul...