Sciweavers

415 search results - page 15 / 83
» Propagating functional dependencies with conditions
Sort
View
IJCV
1998
192views more  IJCV 1998»
13 years 7 months ago
What Is the Set of Images of an Object Under All Possible Illumination Conditions?
The appearance of an object depends on both the viewpoint from which it is observed and the light sources by which it is illuminated. If the appearance of two objects is never iden...
Peter N. Belhumeur, David J. Kriegman
CAISE
2003
Springer
14 years 18 days ago
Multivalued Dependencies and a 4NF for XML
In this paper we make three main contributions. We firstly define multivalued dependencies in XML (XMVDs) and show that they generalize the definition of a functional dependenc...
Millist W. Vincent, Jixue Liu
ATS
2003
IEEE
75views Hardware» more  ATS 2003»
14 years 20 days ago
An Enhanced Test Generator for Capacitance Induced Crosstalk Delay Faults
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...
Arani Sinha, Sandeep K. Gupta, Melvin A. Breuer
ASIACRYPT
2009
Springer
14 years 2 months ago
Linearization Framework for Collision Attacks: Application to CubeHash and MD6
In this paper, an improved differential cryptanalysis framework for finding collisions in hash functions is provided. Its principle is based on linearization of compression functi...
Eric Brier, Shahram Khazaei, Willi Meier, Thomas P...
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
14 years 22 days ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula