3972 search results - page 155 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
128
Voted
SSS
2009
Springer
15 years 8 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
112
Voted
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...
138
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
137
Voted
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
102
Voted
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...