In 2007, the US National Institute for Standards and Technology announced a call for the design of a new cryptographic hash algorithm in response to vulnerabilities identified in e...
This paper proposes a new spatial scalable and low-complexity videocompressionalgorithmbasedonmultiplicationfreethree-dimensional discrete pseudo-cosine transform (3-D DPCT). Pract...
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) algorithm is gaining increased attention in communication standards and literature. The ne...
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...
Horst W. Haussecker, Christoph S. Garbe, Hagen Spi...