1912 search results - page 166 / 383 » On the evaluation of argumentation formalisms |
170
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
146
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
We present a method to measure the amount of structural distortion carried by an alignment between two taxonomic cores of ontologies represented as semantic hierarchies. We present...
138
click to vote
IFL
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
177
click to vote
OWLED
2008
15 years 8 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
165
click to vote
WOA
2000
15 years 7 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...