3972 search results - page 2 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
AE
1999
Springer
13 years 9 months ago
1999
Springer
SECRYPT
2010
13 years 3 months ago
2010
ICIP
2010
IEEE
13 years 3 months ago
2010
IEEE
In confocal microscopy imaging, target objects are labeled with fluorescent markers in the living specimen, and usually appear as spots in the observed images. Spot detection and ...
SBACPAD
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...