3053 search results - page 326 / 611 » A Logic of Abstract Argumentation |
177
click to vote
APLAS
2006
ACM
16 years 24 days ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
157
click to vote
PVM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
179
click to vote
CINQ
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
195
click to vote
EKAW
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
182
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...