205 search results - page 28 / 41 » Complexity of Polynomial Multiplication over Finite Fields |
CSL
2008
Springer
13 years 9 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes a new versatile algorithm for correcting nonlinear distortions, such as curvature of book pages, in camera based document processing. We introduce the idea of...
IJCV
2000
13 years 7 months ago
2000
The appearance of an object is composed of local structure. This local structure can be described and characterized by a vector of local features measured by local operators such a...
JUCS
2008
13 years 7 months ago
2008
We present an algorithm that by using the and -1 Frobenius operators concurrently allows us to obtain a parallelized version of the classical -and-add scalar multiplication algor...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Belief propagation (BP) has become widely used for low-level vision problems and various inference techniques have been proposed for loopy graphs. These methods typically rely on a...