971 search results - page 74 / 195 » Approximate Satisfiability and Equivalence |
174
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Recent work has demonstrated that using a carefully designed sensing matrix rather than a random one, can improve the performance of compressed sensing. In particular, a welldesign...
142
click to vote
SUM
2009
Springer
16 years 26 days ago
2009
Springer
Different methods have been proposed for merging multiple and potentially conflicting informations. Sum-based operators offer a natural method for merging commensurable prioriti...
141
click to vote
WDAG
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...
169
click to vote
ICSOC
2003
Springer
15 years 11 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
179
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
We develop a novel measure of joint time-frequency localization applicable to equivalence classes of finite-length discrete signals, which are of increasing importance in modern ...