Sciweavers

1912 search results - page 107 / 383
» On the evaluation of argumentation formalisms
Sort
View
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
15 years 10 months ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape
COGSCI
2008
72views more  COGSCI 2008»
15 years 6 months ago
The Tractable Cognition Thesis
The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cogniti...
Iris van Rooij
AUSDM
2008
Springer
229views Data Mining» more  AUSDM 2008»
15 years 8 months ago
Minors as Miners - Modelling and Evaluating Ontological and Linguistic Learning
Growing up is in large measure learning about the world and our social and linguistic environment. We might call this data mining, although it is far more multimodal and immersive...
David M. W. Powers
IJIIDS
2007
57views more  IJIIDS 2007»
15 years 6 months ago
Evaluating learning algorithms and classifiers
: We analyse 18 evaluation methods for learning algorithms and classifiers, and show how to categorise these methods with the help of an evaluation method taxonomy based on several...
Niklas Lavesson, Paul Davidsson
LREC
2008
162views Education» more  LREC 2008»
15 years 7 months ago
Semiotic-based Ontology Evaluation Tool (S-OntoEval)
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...
Renata Dividino, Massimo Romanelli, Daniel Sonntag