Sciweavers

1638 search results - page 126 / 328
» Properties of input-consuming derivations
Sort
View
ECCV
2010
Springer
14 years 11 months ago
Image Invariants for Smooth Reflective Surfaces
Image invariants are those properties of the images of an object that remain unchanged with change in camera parameters, illumination etc. In this paper, we derive an image invari...
TSP
2010
14 years 4 months ago
On the shiftability of dual-tree complex wavelet transforms
The dual-tree complex wavelet transform (DT- WT) is known to exhibit better shift-invariance than the conventional discrete wavelet transform. We propose an amplitude-phase represe...
Kunal Narayan Chaudhury, Michael Unser
FSTTCS
2003
Springer
15 years 3 months ago
An Equational Theory for Transactions
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
Andrew P. Black, Vincent Cremet, Rachid Guerraoui,...
DATE
2007
IEEE
97views Hardware» more  DATE 2007»
15 years 4 months ago
Estimating functional coverage in bounded model checking
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
Daniel Große, Ulrich Kühne, Rolf Drechs...
ESOP
2003
Springer
15 years 3 months ago
On the Secure Implementation of Security Protocols
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
Pablo Giambiagi, Mads Dam