1912 search results - page 237 / 383 » On the evaluation of argumentation formalisms |
165
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
169
click to vote
PAKDD
2005
ACM
15 years 12 months ago
2005
ACM
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...
158
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
178
click to vote
WDAG
2005
Springer
15 years 12 months ago
2005
Springer
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
161
click to vote
FAABS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a rigorous evaluation of a novel, distributed chemical plume tracing algorithm. The algorithm is a combination of the best aspects of the two most pop...