Sciweavers

2553 search results - page 37 / 511
» Evaluating machine creativity
Sort
View
121
Voted
IFL
2001
Springer
15 years 8 months 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
135
Voted
LREC
2010
179views Education» more  LREC 2010»
15 years 5 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
143
Voted
LCPC
2007
Springer
15 years 9 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»
15 years 2 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
144
Voted
AUSAI
2006
Springer
15 years 7 months 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...