Sciweavers

2501 search results - page 104 / 501
» Logics with Rank Operators
Sort
View
113
Voted
ISMVL
2000
IEEE
79views Hardware» more  ISMVL 2000»
15 years 5 months ago
Novel Resonant-Tunneling Multiple-Threshold Logic Circuit Based on Switching Sequence Detection
We present a novel multiple-threshold circuit using resonant-tunneling diodes (RTDs). The logic operation is based on detecting a switching sequence in the RTD circuit. This schem...
Takao Waho, Kazufumi Hattori, Kouji Honda
ADMA
2005
Springer
144views Data Mining» more  ADMA 2005»
15 years 6 months ago
One Dependence Augmented Naive Bayes
In real-world data mining applications, an accurate ranking is same important to a accurate classification. Naive Bayes (simply NB) has been widely used in data mining as a simple...
Liangxiao Jiang, Harry Zhang, Zhihua Cai, Jiang Su
DLOG
2009
14 years 10 months ago
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
Giorgos Stoilos, Giorgos B. Stamou
110
Voted
ICFP
2005
ACM
16 years 23 days ago
A logical analysis of aliasing in imperative higher-order functions
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
Martin Berger, Kohei Honda, Nobuko Yoshida
92
Voted
ICCAD
2002
IEEE
112views Hardware» more  ICCAD 2002»
15 years 5 months ago
ATPG-based logic synthesis: an overview
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
Chih-Wei Jim Chang, Malgorzata Marek-Sadowska