144 search results - page 23 / 29 » Combination Methods for Satisfiability and Model-Checking of... |
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
- In this paper, we present an adaptive channel estimation scheme for IEEE 802.16-2004 Wireless Metropolitan Area Network (a.k.a. WiMAX) in the case that the channel impulse respon...
TIT
2002
13 years 7 months ago
2002
We develop methods for analyzing and constructing combined modulation/error-correctiong codes (ECC codes), in particular codes that employ some form of reversed concatenation and w...
LPNMR
1990
Springer
13 years 11 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...