1912 search results - page 39 / 383 » On the evaluation of argumentation formalisms |
105
click to vote
EKAW
1994
Springer
15 years 3 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
ICECCS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...
96
Voted
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
RR
2007
Springer
15 years 6 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
ACL
2007
15 years 1 months ago
2007
A key question facing the parsing community is how to compare parsers which use different grammar formalisms and produce different output. Evaluating a parser on the same resource...