Sciweavers

343 search results - page 39 / 69
» Notes on the Jump of a Structure
Sort
View
ECCV
2010
Springer
15 years 4 months ago
Practical Autocalibration
As it has been noted several times in literature, the difficult part of autocalibration efforts resides in the structural non-linearity of the search for the plane at infinity. I...
MPC
2010
Springer
159views Mathematics» more  MPC 2010»
15 years 4 months ago
Subtyping, Declaratively
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
Nils Anders Danielsson, Thorsten Altenkirch
ISMIR
2001
Springer
117views Music» more  ISMIR 2001»
15 years 4 months ago
Score Processing For MIR
The focus of this paper is on the design and use of a music score representation. The structure of the representation is discussed and illustrated with sample algorithms, includin...
Donncha Ó. Maidín
CARDIS
1998
Springer
95views Hardware» more  CARDIS 1998»
15 years 4 months ago
Serpent and Smartcards
We proposed a new block cipher, Serpent, as a candidate for the Advanced Encryption Standard. This algorithm uses a new structure that simultaneously allows a more rapid avalanche,...
Ross J. Anderson, Eli Biham, Lars R. Knudsen
MFPS
1993
15 years 3 months ago
Some Quasi-Varieties of Iteration Theories
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
Stephen L. Bloom, Zoltán Ésik