3994 search results - page 56 / 799 » A Linear Logical Framework |
108
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
We describe a framework for decomposing the distortion between two images into a linear combination of components. Unlike conventional linear bases such as those in Fourier or wav...
102
Voted
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
145
Voted
CHES
2009
Springer
15 years 10 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
92
Voted
EUSFLAT
2009
15 years 1 months ago
2009
The present article dedicates itself to fuzzy modelling of data
93
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...