811 search results - page 40 / 163 » Avoiding Approximate Squares |
VMCAI
2004
Springer
14 years 27 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
SSPR
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. For many statistical pattern recognition methods, distributions of sample vectors are assumed to be normal, and the quadratic discriminant function derived from the proba...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We develop a closed-form approximation algorithm for designing IIR digital filters with linear phase and guaranteed stability. In this algorithm, the stopband and passband edge f...
ENTCS
2008
13 years 7 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, the Nonlinear Least-Squares (NLS) estimator for frequency offset in flat-fading channels is systematically derived. A simple interpolation technique is introduc...