523 search results - page 2 / 105 » Symbolic Test Selection Based on Approximate Analysis |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM symbol error rate (SER) of Alamouti space time coded OFDM direct conversion receivers subject to carrier fr...
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
DRR
2011
12 years 7 months ago
2011
In this paper we describe a scheme to enhance the usability of Tablet PC handwriting recognition systems by creating a software module for recognizing symbols that are not a part ...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
We model on-line ink traces for a set of 219 symbols to “best fit” low-degree polynomial series. Using a collection of mathematical writing samples, we find that in many cas...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In this paper we deal with carrier frequency estimation for filter-bank multicarrier burst transmission over timefrequency selective fading channels. Three open-loop a...