422 search results - page 14 / 85 » On combinations of CMA equalizers |
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
MICAI
2004
Springer
15 years 3 months ago
2004
Springer
A preprocessing procedure that uses a local guided search defined in terms of a neighborhood structure to get a feasible solution (UB) and the Osorio and Glover[18, 20] exploiting ...
100
click to vote
MCS
2000
Springer
15 years 1 months ago
2000
Springer
The use of multiple features by a classifier often leads to a reduced probability of error, but the design of an optimal Bayesian classifier for multiple features is dependent on t...
100
click to vote
ENTCS
2008
14 years 9 months ago
2008
Abstract. We give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting tech...
110
click to vote
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...