413 search results - page 56 / 83 » On Product Logic with Truth-constants |
111
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
Group technology (GT) is a useful way to increase productivity with high quality in cellular manufacturing systems (CMSs), in which cell formation (CF) is a key step in the GT phil...
DSD
2007
IEEE
15 years 6 months ago
2007
IEEE
Programmable routing and logic in ļ¬eld-programmable gate arrays are implemented using nMOS pass transistors. Since the threshold voltage drop across an nMOS device degrades the ...
107
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Future nano scale devices will expose different characteristics than todays silicon devices. While the exponential growth of non recurring expenses (NRE, mostly due to mask sets)...
APAL
2007
14 years 12 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentā...
KDD
2003
ACM
16 years 7 days ago
2003
ACM
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...