3972 search results - page 379 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
156
Voted
DAC
1996
ACM
15 years 9 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
142
click to vote
ICA
2007
Springer
15 years 9 months ago
2007
Springer
We propose a new method for estimating the mixing matrix, A, in the linear model x(t) = As(t), t = 1, . . . , T, for the problem of underdetermined Sparse Component Analysis (SCA)....
170
click to vote
DEEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
182
Voted
IMAMS
2003
15 years 6 months ago
2003
Watermarking is to embed a structure called a watermark into the target data such as images. The watermark can be used, for example, in order to secure the copyright and detect tam...
160
Voted
CDC
2010
IEEE
15 years 1 days ago
2010
IEEE
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...