5378 search results - page 718 / 1076 » Base Logics in Argumentation |
182
click to vote
AAAI
2007
15 years 9 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
182
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...
169
click to vote
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
The paper deals with synthesis technique for designing circuits with cascade errors detection. The proposed technique is based on partitioning a scheme into a number of cascades f...
166
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Constraint programming often involves global constraints, for which various custom filtering algorithms have been published. This work presents a semi-automatic generation of CHR s...
190
click to vote
FDTC
2008
Springer
15 years 8 months ago
2008
Springer
Differential Fault Analysis (DFA) is a real threat for elliptic curve cryptosystems. This paper describes an elliptic curve cryptoprocessor unit resistant against fault injection....