Sciweavers

1188 search results - page 38 / 238
» Arithmetic Fuzzy Models
Sort
View
FSS
2008
147views more  FSS 2008»
14 years 9 months ago
A general framework for fuzzy morphological associative memories
Fuzzy associative memories (FAMs) can be used as a powerful tool for implementing fuzzy rule-based systems. The insight that FAMs are closely related to mathematical morphology (M...
Marcos Eduardo Valle, Peter Sussner
CAV
2008
Springer
115views Hardware» more  CAV 2008»
14 years 11 months ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...