568 search results - page 73 / 114 » A Machine Translation System for the Target Language Inexper... |
185
click to vote
FLOPS
2010
Springer
16 years 27 days ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
154
Voted
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper describes the Arabic broadcast transcription system fielded by IBM in the GALE Phase 3.5 machine translation evaluation. Key advances compared to our Phase 2.5 system ...
174
Voted
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Software developers create a variety of artifacts that model viour of applications at different levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-o...
195
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
A dynamic binary translation system for a co-designed virtual machine is described and evaluated. The underlying hardware directly executes an accumulator-oriented instruction set...
163
Voted
ICCS
1993
Springer
15 years 10 months ago
1993
Springer
Adaptive predictive search (APS), is a learning system framework, which given little initial domain knowledge, increases its decision-making abilities in complex problems domains....