1912 search results - page 69 / 383 » On the evaluation of argumentation formalisms |
169
click to vote
TCS
2011
15 years 1 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...
157
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
139
click to vote
SMC
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract – We formalize the concept of domain representation in artificial intelligence, and propose a framework for evaluating representation and comparing alternative represen...
198
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
169
click to vote
TYPES
2007
Springer
16 years 9 days ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...