3972 search results - page 176 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
119
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
145
Voted
COMPLEX
2009
Springer
15 years 7 months ago
2009
Springer
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...
ICIAP
1997
ACM
15 years 8 months ago
1997
ACM
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
141
Voted
SDM
2009
SIAM
16 years 28 days ago
2009
SIAM
This paper demonstrates the applicability of the recently proposed supervised dimension reduction, hierarchical linear discriminant analysis (h-LDA) to a well-known spatial locali...
144
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...