Sciweavers

89 search results - page 4 / 18
» Fuzzy concepts and formal methods: some illustrative example...
Sort
View
WCE
2007
13 years 9 months ago
Modified Memory Convergence with Fuzzy PSO
—Associative neural memories are models of biological phenomena that allow for the storage of pattern associations and the retrieval of the desired output pattern upon presentati...
Subhash Chandra Pandey, P. K. Mishra
KES
2008
Springer
13 years 7 months ago
Application Study in Decision Support with Fuzzy Cognitive Map
Fuzzy cognitive map is an approach to knowledge representation and inference; it emphasizes the connections of concepts as basic units for storing knowledge, and the structure that...
Yue He
FUZZIEEE
2007
IEEE
13 years 9 months ago
Transformation of a Mamdani FIS to First Order Sugeno FIS
— In many decision support applications it is important to guarantee the expressive power, easy formalization and interpretability of Mamdani-type fuzzy inference systems (FIS), ...
Javad Jassbi, S. H. Alavi, Paulo J. A. Serra, Rita...
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
14 years 1 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
FTRTFT
1998
Springer
14 years 2 days ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer