971 search results - page 74 / 195 » Approximate Satisfiability and Equivalence |
93
Voted
CORR
2010
Springer
15 years 22 days 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...
SUM
2009
Springer
15 years 7 months 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...
83
Voted
WDAG
2005
Springer
15 years 6 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...
103
Voted
ICSOC
2003
Springer
15 years 5 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...
116
Voted
SSIAI
2002
IEEE
15 years 5 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 ...