5525 search results - page 857 / 1105 » Verification of Model Transformations |
143
click to vote
CRYPTO
2007
Springer
16 years 25 days ago
2007
Springer
We initiate a complexity-theoretic treatment of hardness amplification for collision-resistant hash functions, namely the transformation of weakly collision-resistant hash functio...
182
click to vote
ACCV
2007
Springer
16 years 25 days ago
2007
Springer
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...
171
click to vote
IBPRIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The extraction of reliable features is a key issue for autonomous underwater vehicle navigation. Imaging sonars can produce acoustic images of the surroundings of the veh...
188
click to vote
ICA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper presents a new algorithm for solving the permutation ambiguity in convolutive blind source separation. When transformed to the frequency domain, the source sep...
166
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...