3742 search results - page 347 / 749 » On the Use of Formal Techniques for Validation |
167
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
138
click to vote
ASAP
1996
IEEE
15 years 11 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
179
click to vote
EPS
1997
Springer
15 years 11 months ago
1997
Springer
Genetic Programming is increasing in popularity as the basis for a wide range of learning algorithms. However, the technique has to date only been successfully applied to modest t...
183
click to vote
HIS
2003
15 years 8 months ago
2003
: In this paper, we propose a technique to design Fuzzy Inference Systems (FIS) of Mamdani type with transparency constraints. The technique is based on our Crisp Double Clustering...
109
click to vote
ADT
2010
15 years 6 months ago
2010
Abstract A wide range of wireless system developments require knowledge of the distribution of electromagnetic fields from various sources in humans. As experimental assessment is ...