236 search results - page 22 / 48 » Strong normalization results by translation |
ICIP
2004
IEEE
15 years 16 days ago
2004
IEEE
In this paper, a blind object-based video watermarking scheme, which is robust to MPEG4 compression and normal video editing such as Rotation, Scaling or Translation (RST), is pro...
ICALP
2004
Springer
14 years 4 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
ICCV
1995
IEEE
14 years 2 months ago
1995
IEEE
The fundamental matrix is a basic tool in the analysis of scenes taken with two uncalibrated cameras, and the 8-point algorithm is a frequently cited method for computing the fund...
ICRA
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper focuses on the assignment of discrete points to two robots, in the presence of geometric and kinematic constraints between the robots. The individual points have dif...
SAT
2007
Springer
14 years 5 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...