9 search results - page 1 / 2 » System BV without the Equalities for Unit |
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
ISCAS
2007
IEEE
13 years 11 months ago
2007
IEEE
— In communication systems which used filter bank precoders with zero padding (ZP) at the transmitter, the effect of an FIR channel can be equalized without the use of IIR equal...
ENTCS
2007
13 years 4 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
ICMAS
2000
13 years 6 months ago
2000
In automated negotiation systems consisting of self-interested agents, contracts have traditionally been binding. Leveled commitment contracts--i.e., contracts where each party ca...
HIS
2009
13 years 2 months ago
2009
This paper presents a novel optimization approach using Improved Harmony Search (IHS) algorithm to solve economic power dispatch problem. The proposed methodology easily takes care...