1912 search results - page 207 / 383 » On the evaluation of argumentation formalisms |
181
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
The kernel objects consist of critical kernel data structures and system call functions, which are the most important data for a system, should be protected as first-class candida...
172
click to vote
EACL
2003
ACL Anthology
15 years 7 months ago
2003
ACL Anthology
This paper presents the integration of cohesive properties of text with coherence relations, to obtain an adequate representation of text for automatic summarization. A summarizer...
194
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
183
click to vote
GEOINFORMATICA
2008
15 years 6 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
177
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Quine (1960, ch.2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. `Rabbit' might be taken to divide its reference over...