Sciweavers

1188 search results - page 38 / 238
» Arithmetic Fuzzy Models
Sort
View
FSS
2008
147views more  FSS 2008»
14 years 12 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»
15 years 1 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...