1059 search results - page 70 / 212 » Standard Logics Are Valuation-Nonmonotonic |
128
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
137
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
Cryptographic embedded systems are vulnerable to Differential Power Analysis (DPA) attacks. In this paper, we propose a logic design style, called as Precharge Masked Reed-Muller ...
181
click to vote
FOCI
2007
IEEE
16 years 15 days ago
2007
IEEE
— The Constraint Satisfaction Problem (CSP) is one of the most prominent problems in artificial intelligence, logic, theoretical computer science, engineering and many other are...
149
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
This paper shows that the evolutionary design of digital circuits which is conducted at the gate level is able to produce human-competitive circuits at the transistor level. In ad...
163
click to vote
SEKE
2007
Springer
16 years 9 days ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...