6014 search results - page 703 / 1203 » Structural Testing with Use Cases |
178
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
The objective of this work is to develop and study the robustness of the zero frequency resonator (ZFR) based method for extraction of the fundamental frequency (F0) of speech sig...
226
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Linear discriminant analysis (LDA) is a widely used feature extraction method for classification. We introduce distributed implementations of different versions of LDA, suitable ...
259
click to vote
CMOT
2011
14 years 11 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
220
click to vote
OL
2011
14 years 10 months ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
255
click to vote
ESOP
2000
Springer
15 years 11 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...