Sciweavers

618 search results - page 88 / 124
» Computational Models of Natural Language Argument
Sort
View
EMNLP
2009
13 years 6 months ago
Consensus Training for Consensus Decoding in Machine Translation
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...
Adam Pauls, John DeNero, Dan Klein
SIGIR
2006
ACM
14 years 2 months ago
Combining bidirectional translation and synonymy for cross-language information retrieval
This paper introduces a general framework for the use of translation probabilities in cross-language information retrieval based on the notion that information retrieval fundament...
Jianqiang Wang, Douglas W. Oard
FOSSACS
1999
Springer
14 years 22 days ago
A Strong Logic Programming View for Static Embedded Implications
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
R. Arruabarrena, Paqui Lucio, Marisa Navarro
MABS
2004
Springer
14 years 1 months ago
Layering Social Interaction Scenarios on Environmental Simulation
For an integrated simulation such as the natural environment affected by human society, it is indispensable to provide an integrated simulator that incorporates multiple computatio...
Daisuke Torii, Toru Ishida, Stéphane Bonnea...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
14 years 29 days ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh