523 search results - page 1 / 105 » Symbolic Test Selection Based on Approximate Analysis |
TACAS
2005
Springer
13 years 10 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
FORTE
2009
13 years 2 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
ICDAR
1999
IEEE
13 years 9 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
— In this paper we present an analytical approach to evaluate the symbol error rate (SER) of OFDM systems subject to carrier frequency offset (CFO) and channel estimation error i...
ICIAR
2009
Springer
13 years 2 months ago
2009
Springer
This paper presents a robust automatic shape classifier using modular wavelet networks (MWNs). A shape descriptor is constructed based on a combination of global geometric features...