343 search results - page 39 / 69 » Notes on the Jump of a Structure |
145
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
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...
141
click to vote
MPC
2010
Springer
15 years 9 months ago
2010
Springer
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 ...
118
click to vote
ISMIR
2001
Springer
15 years 8 months ago
2001
Springer
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...
146
Voted
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
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,...
126
Voted
MFPS
1993
15 years 8 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...