167 search results - page 8 / 34 » Translation as Weighted Deduction |
IJCAI
2001
13 years 10 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
JAIR
2006
13 years 9 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
SLOGICA
2008
13 years 9 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
EMNLP
2008
13 years 10 months ago
2008
We describe the first tractable Gibbs sampling procedure for estimating phrase pair frequencies under a probabilistic model of phrase alignment. We propose and evaluate two nonpar...
EMNLP
2004
13 years 10 months ago
2004
This paper proposes a novel method to compile statistical models for machine translation to achieve efficient decoding. In our method, each statistical submodel is represented by ...