Sciweavers

1912 search results - page 62 / 383
» On the evaluation of argumentation formalisms
Sort
View
IJIS
2007
94views more  IJIS 2007»
14 years 11 months ago
The eightfold way of deliberation dialogue
Deliberation dialogues occur when two or more participants seek to jointly agree an action or a course of action in some situation. We present the first formal framework for such...
Peter McBurney, David Hitchcock, Simon Parsons
LOGCOM
1998
132views more  LOGCOM 1998»
14 years 11 months ago
Agents That Reason and Negotiate by Arguing
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
Simon Parsons, Carles Sierra, Nicholas R. Jennings
DATE
2003
IEEE
80views Hardware» more  DATE 2003»
15 years 5 months ago
Implementation and Evaluation of an On-Demand Parameter-Passing Strategy for Reducing Energy
In this paper, we present an energy-aware parameterpassing strategy called on-demand parameter-passing. The objective of this strategy is to eliminate redundant actual parameter e...
Mahmut T. Kandemir, Ibrahim Kolcu, Wei Zhang 0002
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
15 years 3 months ago
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
Olaf Chitil, Colin Runciman, Malcolm Wallace
RANLP
2003
15 years 1 months ago
HPSG-based annotation scheme for corpora development and parsing evaluation
This paper proposes a formal framework for development and exploitation of a corpus, based on the HPSG linguistic theory. The formal representation of the annotation scheme facili...
Kiril Ivanov Simov