3053 search results - page 326 / 611 » A Logic of Abstract Argumentation |
200
click to vote
APLAS
2006
ACM
16 years 1 months 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...
185
Voted
PVM
2005
Springer
16 years 1 months 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...
203
click to vote
CINQ
2004
Springer
16 years 28 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...
211
click to vote
EKAW
2004
Springer
16 years 27 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...
196
Voted
ICTAC
2004
Springer
16 years 27 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...