1389 search results - page 249 / 278 » Model Combination for Machine Translation |
117
Voted
COR
2008
15 years 23 days ago
2008
Operations research and management science are often confronted with sequential decision making problems with large state spaces. Standard methods that are used for solving such c...
112
click to vote
ENTCS
2008
15 years 22 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
BMCBI
2006
15 years 22 days ago
2006
Background: Structural models determined by X-ray crystallography play a central role in understanding protein-protein interactions at the molecular level. Interpretation of these...
115
click to vote
TAAS
2008
15 years 17 days ago
2008
Dynamic capacity provisioning is a useful technique for handling the multi-time-scale variations seen in Internet workloads. In this paper, we propose a novel dynamic provisioning...
173
click to vote
FIW
2009
14 years 10 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...