1389 search results - page 204 / 278 » Model Combination for Machine Translation |
116
Voted
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
108
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: High quality sequence alignments of RNA and DNA sequences are an important prerequisite for the comparative analysis of genomic sequence data. Nucleic acid sequences, ...
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
Creating courses by combining Learning Objects (LOs) sourced from third parties, known as courseware, is becoming more popular of late. Although courseware has advantages over tra...
105
click to vote
ISOLA
2007
Springer
15 years 7 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
WSC
2008
15 years 3 months ago
2008
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...