Sciweavers

1912 search results - page 102 / 383
» On the evaluation of argumentation formalisms
Sort
View
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 14 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
EMNLP
2007
15 years 7 months ago
Experimental Evaluation of LTAG-Based Features for Semantic Role Labeling
In this technical report, we propose the use of Lexicalized Tree-Adjoining Grammar (LTAG) formalism as an important additional source of features for the Semantic Role Labeling (S...
Yudong Liu, Anoop Sarkar
WSC
1997
15 years 7 months ago
Evaluating Embedded Decision Processes of Manufacturing Systems Through Simulation
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...
S. Cem Karacal
HCI
1993
15 years 7 months ago
Quantitative Measures for Evaluating Human-Computer Interfaces
There currently are 4 different views on human computer interaction in measuring interactive qualities: (1) the interaction-oriented view, (2) the user-oriented view, (3) the prod...
Matthias Rauterberg
TARK
2007
Springer
16 years 13 days ago
Inexact knowledge, margin for error and positive introspection
Williamson (2000a) has argued that positive introspection is incompatible with inexact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based...
Julien Dutant