3972 search results - page 146 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
117
Voted
COMGEO
1999
ACM
15 years 3 months ago
1999
ACM
Many algorithms for reducing the number of triangles in a surface model have been proposed, but to date there has been little theoretical analysis of the approximations they produ...
137
Voted
FORTE
2010
15 years 5 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
131
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Topic-based text summaries promise to help average users quickly understand a text collection and derive insights. Recent research has shown that the Latent Dirichlet Allocation (...
124
Voted
IWSEC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
289
Voted
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...