491 search results - page 17 / 99 » Linear Quantifier Elimination |
120
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Different denoising schemes show dissimilar types of artifacts. For example, certain transform-based denoising schemes could introduce artifacts in smooth regions while others eli...
113
click to vote
MCS
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, the error-reject trade-off of linearly combined multiple classifiers is analysed in the framework of the minimum risk theory. Theoretical analysis described in [12,1...
107
click to vote
CRYPTO
1994
Springer
15 years 5 months ago
1994
Springer
We present a technique which aids in the linear cryptanalysis of a block cipher and allows for a reduction in the amount of data required for a successful attack. We note the limit...
110
click to vote
BMVC
1996
15 years 2 months ago
1996
This paperdescribes initial work on a family of projectivereconstructiontechniques that extract projection matrices directly and linearly from matching tensors estimated from imag...
197
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete ? that is it cannot express every query definable in firsto...