186 search results - page 18 / 38 » Fast Transformation-Invariant Component Analysis |
KBSE
1998
IEEE
13 years 12 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
Employing the power of Semantic Grid services into pervasive problem domains such as video analysis would allow for more effective distributed processing. A vast amount of ecologi...
SIAMIS
2010
13 years 2 months ago
2010
This article proposes a new method for image separation into a linear combination of morphological components. Sparsity in fixed dictionaries is used to extract the cartoon and osc...
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...