3053 search results - page 358 / 611 » A Logic of Abstract Argumentation |
205
click to vote
ERLANG
2003
ACM
16 years 14 hour ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
157
click to vote
AIIA
2003
Springer
16 years 59 min ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...
188
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
230
click to vote
CHES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper a compact FPGA architecture for the AES algorithm with 128-bit key targeted for low-cost embedded applications is presented. Encryption, decryption and key ...
193
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...