4581 search results - page 476 / 917 » Computing Transformation Semigroups |
223
click to vote
ICPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper presents a non-rigid registration method for the restoration of double-sided historical manuscripts. Firstly, the gradient direction maps of the two images of a manuscr...
174
click to vote
CSR
2009
Springer
16 years 2 months ago
2009
Springer
Muchnik’s theorem about simple conditional descriptions states that for all strings a and b there exists a short program p transforming a to b that has the least possible length ...
195
click to vote
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
208
click to vote
ISVC
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we propose a new method for pairwise rigid point set registration. We pay special attention to noise robustness, outlier resistance and global optimal alignment. The ...
215
click to vote
ISVC
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we propose a new system for real-time feature acquisition and integration based on high-resolution stereo images that is suitable for mobile robot platforms with limi...