3007 search results - page 108 / 602 » Linear Functional Fixed-points |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper consider the problem of how to evaluate the efficiency of a 3D continuous functional HRTF model in representing measured data. The proposed method is based on Karhunen...
ICPR
2004
IEEE
16 years 28 days ago
2004
IEEE
A new criterion based on Gaussian fields is introduced and applied to the task of automatic rigid registration of point-sets. The method defines a simple energy function, which is...
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
112
click to vote
ATS
2003
IEEE
15 years 5 months ago
2003
IEEE
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
100
click to vote
CRYPTO
1993
Springer
15 years 4 months ago
1993
Springer
Constructions for hash functions based on a block cipher are studied where the size of the hashcode is equal to the block length of the block cipher and where the key size is appro...