Sciweavers

1376 search results - page 30 / 276
» The Localization Hypothesis and Machines
Sort
View
ACL
2003
13 years 11 months ago
A Comparative Study on Reordering Constraints in Statistical Machine Translation
In statistical machine translation, the generation of a translation hypothesis is computationally expensive. If arbitrary wordreorderings are permitted, the search problem is NP-h...
Richard Zens, Hermann Ney
ESORICS
2005
Springer
14 years 3 months ago
Machine-Checked Security Proofs of Cryptographic Signature Schemes
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
Sabrina Tarento
LREC
2010
158views Education» more  LREC 2010»
13 years 11 months ago
Evaluating Human-Machine Conversation for Appropriateness
Evaluation of complex, collaborative dialogue systems is a difficult task. Traditionally, developers have relied upon subjective feedback from the user, and parametrisation over o...
Nick Webb, David Benyon, Preben Hansen, Oli Mival
TNN
2011
104views more  TNN 2011»
13 years 4 months ago
Extended Input Space Support Vector Machine
—In some applications, the probability of error of a given classifier is too high for its practical application, but we are allowed to gather more independent test samples from ...
Ricardo Santiago-Mozos, Fernando Pérez-Cruz...
ALT
2004
Springer
14 years 6 months ago
Learning r-of-k Functions by Boosting
We investigate further improvement of boosting in the case that the target concept belongs to the class of r-of-k threshold Boolean functions, which answer “+1” if at least r o...
Kohei Hatano, Osamu Watanabe