704 search results - page 40 / 141 » On-chip logic minimization |
104
click to vote
RSCTC
1993
Springer
15 years 1 months ago
1993
Springer
This paper focuses on the application of rough set constructs to inductive learning from a database. A design guideline is suggested, which provides users the option to choose app...
ENTCS
2006
14 years 9 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
ISMVL
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
KR
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
AAAI
2008
15 years 5 days ago
2008
In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Program...