Sciweavers

FSS
2008
94views more  FSS 2008»
13 years 4 months ago
Lattices of convex normal functions
The algebra of truth values of type-2 fuzzy sets is the set of all functions from the unit interval into itself, with operations de ned in terms of certain convolutions of these f...
John Harding, Carol L. Walker, Elbert A. Walker
LICS
1992
IEEE
13 years 8 months ago
Origins of the Calculus of Binary Relations
The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schr
Vaughan R. Pratt
VLSID
2002
IEEE
100views VLSI» more  VLSID 2002»
13 years 9 months ago
Layout-Driven Timing Optimization by Generalized De Morgan Transform
We propose a timing-oriented logic optimization technique called Generalized De Morgan (GDM) transform, that integrates gate resizing, net buffering and De Morgan transformation. ...
Supratik Chakraborty, Rajeev Murgai