Sciweavers

144 search results - page 11 / 29
» Representations of Logic Functions Using QRMDDs
Sort
View
CSL
1999
Springer
15 years 2 months ago
Pre-logical Relations
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
Furio Honsell, Donald Sannella
DAC
2009
ACM
15 years 11 months ago
Timing-driven optimization using lookahead logic circuits
This paper describes a function-based timing-driven optimization technique for the synthesis of multi-level logic circuits. Motivated by the principles of parallel prefix computat...
Mihir R. Choudhury, Kartik Mohanram
IAT
2009
IEEE
15 years 2 months ago
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
Thomas Lukasiewicz, Azzurra Ragone
TFS
2008
190views more  TFS 2008»
14 years 9 months ago
A Fast Geometric Method for Defuzzification of Type-2 Fuzzy Sets
Generalised type-2 fuzzy logic systems can not currently be used for practical problems because the amount of computation required to defuzzify a generalised type-2 fuzzy set is to...
Simon Coupland, Robert John
FUZZIEEE
2007
IEEE
15 years 4 months ago
Genetic Learning of Membership Functions for Mining Fuzzy Association Rules
— Data mining is most commonly used in attempts to induce association rules from transaction data. Most previous studies focused on binary-valued transaction data. Transaction da...
Rafael Alcalá, Jesús Alcalá-F...