Sciweavers

2553 search results - page 37 / 511
» Evaluating machine creativity
Sort
View
IFL
2001
Springer
14 years 28 days ago
Proving the Correctness of the STG Machine
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
Alberto de la Encina, Ricardo Pena
LREC
2010
179views Education» more  LREC 2010»
13 years 10 months ago
Appraise: An Open-Source Toolkit for Manual Phrase-Based Evaluation of Translations
We describe a focused effort to investigate the performance of phrase-based, human evaluation of machine translation output achieving a high annotator agreement. We define phrase-...
Christian Federmann
LCPC
2007
Springer
14 years 2 months ago
Evaluation of RDMA Opportunities in an Object-Oriented DSM
Remote Direct Memory Access (RDMA) is a technology to update a remote machine’s memory without intervention at the receiver side. We evaluate where RDMA can be usefully applied a...
Ronald Veldema, Michael Philippsen
MT
2010
110views more  MT 2010»
13 years 7 months ago
Metrics for MT evaluation: evaluating reordering
Translating between dissimilar languages requires an account of the use of divergent word orders when expressing the same semantic content. Reordering poses a serious problem for s...
Alexandra Birch, Miles Osborne, Phil Blunsom
AUSAI
2006
Springer
14 years 7 days ago
Beyond Accuracy, F-Score and ROC: A Family of Discriminant Measures for Performance Evaluation
Different evaluation measures assess different characteristics of machine learning algorithms. The empirical evaluation of algorithms and classifiers is a matter of on-going debat...
Marina Sokolova, Nathalie Japkowicz, Stan Szpakowi...