Sciweavers

523 search results - page 2 / 105
» Symbolic Test Selection Based on Approximate Analysis
Sort
View
103
Voted
GLOBECOM
2007
IEEE
15 years 6 months ago
Symbol Error Rate Calculation for Alamouti Space Time Coded OFDM in Direct Conversion Receivers
—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...
Marco Krondorf, Gerhard Fettweis
ICST
2010
IEEE
14 years 10 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—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...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
133
Voted
DRR
2011
13 years 11 months ago
Online medical symbol recognition using a Tablet PC
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 ...
Amlan Kundu, Qian Hu, Stanley Boykin, Cheryl Clark...
ICDAR
2007
IEEE
15 years 6 months ago
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation
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...
Bruce W. Char, Stephen M. Watt
ICC
2007
IEEE
105views Communications» more  ICC 2007»
15 years 6 months ago
Frequency Recovery for Filter-Bank Multicarrier Transmission on Doubly-Selective Fading Channels
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...
Michele Carta, Vincenzo Lottici, Ruggero Reggianni...