632 search results - page 19 / 127 » Proving Invariants of Functional Programs |
99
Voted
JUCS
2008
15 years 14 days ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
83
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper shows how to construct pattern vectors from the Ihara zeta function for the purposes of characterizing graph structures. To avoid the risk of sampling the meaningless i...
FSE
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we point out some weaknesses in the Salsa20 core function that could be exploited to obtain up to 231 collisions for its full (20 rounds) version. We first find an i...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
108
Voted
IV
2007
IEEE
15 years 6 months ago
2007
IEEE
Video Stabilization is one of those important video processing techniques to remove the unwanted camera vibration in a video sequence. In this paper, we present a practical method...