491 search results - page 17 / 99 » Linear Quantifier Elimination |
ICMCS
2006
IEEE
14 years 1 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...
MCS
2001
Springer
13 years 12 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...
CRYPTO
1994
Springer
13 years 11 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...
BMVC
1996
13 years 8 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...
ICDT
2009
ACM
14 years 8 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...