471 search results - page 37 / 95 » Modals As A Problem For MT |
173
click to vote
ACL
2011
14 years 7 months ago
2011
This paper extends the training and tuning regime for phrase-based statistical machine translation to obtain fluent translations into morphologically complex languages (we build ...
114
click to vote
MFCS
2005
Springer
15 years 8 months ago
2005
Springer
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
129
click to vote
TABLEAUX
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
124
click to vote
AML
2007
15 years 3 months ago
2007
We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition unde...
126
Voted
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a max margin framework on image annotation and multimodal image retrieval as a structured prediction model. Following the max margin approach the image retriev...