2553 search results - page 245 / 511 » Evaluating machine creativity |
165
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
207
click to vote
PROPOR
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...
190
click to vote
COMSWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
— We design a framework that implements security at the TCP layer to meet the necessity for a practical and truly end-to-end security solution. We call our framework TCPsec. TCPs...
182
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the problem of Voice Active Detection (VAD) in noisy environments. We introduce Variational Bayes approach to EM for classification to replace the heuristic ...
168
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present how to estimate a continuous space Language Model with a Neural Network to be used in a Statistical Machine Translation system. We report results for an I...