3972 search results - page 1 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
SPRINGSIM
2010
13 years 2 months ago
2010
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
HPCC
2007
Springer
13 years 11 months ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
ICIP
2004
IEEE
14 years 6 months ago
2004
IEEE
3D modeling of a free-form object involves the acquisition of multiple views (range images) of the object to cover its entire surface. These views are then registered in a common ...
IEEECIT
2005
IEEE
13 years 10 months ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...