654 search results - page 29 / 131 » Linearity Testing in Characteristic Two |
123
Voted
VIS
2004
IEEE
16 years 3 months ago
2004
IEEE
Accurate estimation of vessel parameters is a prerequisite for automated visualization and analysis of healthy and diseased blood vessels. The objective of this research is to est...
115
Voted
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
118
Voted
STOC
1991
ACM
15 years 6 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
177
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
105
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
We observe several characteristics of empirical image interpolating algorithms and contribute four novel concepts and claims. First, we interpret well-known classification-based ...