3972 search results - page 195 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
146
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
141
click to vote
JCST
2010
14 years 10 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
167
click to vote
ESAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
142
click to vote
SSS
2010
Springer
15 years 1 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
158
click to vote
CVPR
2009
IEEE
2009
IEEE
Fourier analysis and Gabor filtering for texture analysis and local reconstruction of general shapes
15 years 7 months ago
Since the pioneering work of Gibson in 1950, ShapeFrom-Texture has been considered by researchers as a hard problem, mainly due to restrictive assumptions which often limit its ap...