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 1 months 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 8 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 8 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 8 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
162
Voted
TARK
2007
Springer
16 years 1 months 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