Sciweavers

5510 search results - page 337 / 1102
» Mathematics
Sort
View
PPDP
2004
Springer
16 years 3 days ago
Nominal rewriting systems
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
Maribel Fernández, Murdoch Gabbay, Ian Mack...
SETA
2004
Springer
122views Mathematics» more  SETA 2004»
16 years 3 days ago
New LFSR-Based Cryptosystems and the Trace Discrete Log Problem (Trace-DLP)
In order to reduce key sizes and bandwidth, cryptographic systems have been proposed using minimal polynomials to represent finite field elements. These systems are essentially e...
Kenneth J. Giuliani, Guang Gong
SETA
2004
Springer
79views Mathematics» more  SETA 2004»
16 years 3 days ago
A Survey of the Merit Factor Problem for Binary Sequences
A classical problem of digital sequence design, first studied in the 1950s but still not well understood, is to determine those binary sequences whose aperiodic autocorrelations ...
Jonathan Jedwab
SSPR
2004
Springer
16 years 3 days ago
On Extending Symmetry Sets for 2D Shapes
Many attempts have been made to represent families of 2D shapes in a simpler way. These approaches lead to so-called structures as the Symmetry Set (SS) and a subset of it, the Med...
Arjan Kuijper, Ole Fogh Olsen
177
Voted
ECCV
2010
Springer
16 years 3 days ago
Local Occlusion Detection Under Deformations Using Topological Invariants
Occlusions provide critical cues about the 3D structure of man-made and natural scenes. We present a mathematical framework and algorithm to detect and localize occlusions in image...