Sciweavers

3373 search results - page 136 / 675
» Linear transformations on codes
Sort
View
APAL
2008
67views more  APAL 2008»
15 years 3 months ago
Proof nets sequentialisation in multiplicative linear logic
Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...
Paolo Di Giamberardino, Claudia Faggian
PR
2006
145views more  PR 2006»
15 years 3 months ago
Gait recognition using linear time normalization
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
Nikolaos V. Boulgouris, Konstantinos N. Platanioti...
IH
1999
Springer
15 years 7 months ago
Robust Object Watermarking: Application to Code
In this paper, we focus on a step of the watermarking process whose importance has been disregarded so far. In this perspective, we introduce the vector extraction paradigm which i...
Julien P. Stern, Gaël Hachez, François...
158
Voted
DM
2006
128views more  DM 2006»
15 years 3 months ago
Non-trivial t-designs without repeated blocks exist for all t
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
Luc Teirlinck
ICPR
2002
IEEE
16 years 4 months ago
Multi-Scale Autoconvolution for Affine Invariant Pattern Recognition
This paper describes a novel image transform called Multi-Scale Autoconvolution which is invariant with respect to affine transformations of the spatial image coordinates. The tra...
Janne Heikkilä