Sciweavers

1059 search results - page 59 / 212
» Standard Logics Are Valuation-Nonmonotonic
Sort
View
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 10 months ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant
EUSFLAT
2009
139views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 months ago
An Alternative Operationalization of Fuzzy Consideration Set. Application to Tourism
Consideration sets provide a standard tool for the exploration of consumer choice. It is appropriate to analyze it as a fuzzy set because not all the brands of a certain category o...
Luisa Lucila Lazzari, Patricia Inés Mouli&a...
EUSFLAT
2009
153views Fuzzy Logic» more  EUSFLAT 2009»
15 years 3 months ago
A Type-2 Fuzzy Portfolio Selection Problem Considering Possibility Measure and Crisp Possibilistic Mean Value
This paper considers a portfolio selection problem with type-2 fuzzy future returns involving ambiguous and subjectivity. Since this proposed problem is not well-defined due to fuz...
Takashi Hasuike, Hiroaki Ishii
IFIPTM
2009
171views Management» more  IFIPTM 2009»
15 years 3 months ago
Trust-Enhanced Recommender Systems for Efficient On-Line Collaboration
Trust has been explored by many researchers in the past as a solution for assisting the process of recommendation production. In this work we are examining the feasibility of build...
Georgios Pitsilis
TSMC
2011
260views more  TSMC 2011»
15 years 1 months ago
Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control
This paper presents new approach to power system automation, based on distributed intelligence rather than traditional centralised control. The paper investigates the interplay bet...
Neil Higgins, Valeriy Vyatkin, Nirmal-Kumar C. Nai...