654 search results - page 16 / 131 » Linearity Testing in Characteristic Two |
97
Voted
MVA
1990
15 years 25 days ago
1990
This paper presents an image processing method for locating underground linear objects using ground-probing radar data. One of the problems when using groundprobing radars is how ...
87
Voted
CIARP
2008
Springer
15 years 1 months ago
2008
Springer
The concept of elongation is generally well understood. However, there is no clear, precise, mathematical definition of elongation in any dictionary we could find. We propose that ...
127
Voted
CADE
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
95
Voted
SCOPES
2004
Springer
15 years 5 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
ESEM
2009
ACM
15 years 3 months ago
2009
ACM
Test coverage is a promising measure of test effectiveness and development organizations are interested in costeffective levels of coverage that provide sufficient fault removal w...