6018 search results - page 95 / 1204 » Factored Translation Models |
113
click to vote
COLING
2010
14 years 7 months ago
2010
We propose semantic role features for a Tree-to-String transducer to model the reordering/deletion of source-side semantic roles. These semantic features, as well as the Tree-to-S...
ENTCS
2006
14 years 12 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
100
click to vote
ICASSP
2010
IEEE
15 years 3 days ago
2010
IEEE
Automatic speech recognition (ASR) results contain not only ASR errors, but also disfluencies and colloquial expressions that must be corrected to create readable transcripts. We...
FM
2003
Springer
15 years 5 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
102
click to vote
PATMOS
2007
Springer
15 years 6 months ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...