1912 search results - page 63 / 383 » On the evaluation of argumentation formalisms |
CNL
2009
15 years 29 days ago
2009
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language. T...
80
Voted
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
112
click to vote
DAC
1997
ACM
15 years 3 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
WWW
2005
ACM
16 years 16 days ago
2005
ACM
Web accessibility consists on a set of checkpoints which are rather expensive to evaluate or to spot. However, using W3C technologies, this cost can be clearly minimized. This art...