Search for dissertations about: "automatic translation"

Showing result 1 - 5 of 23 swedish dissertations containing the words automatic translation.

2. 1. Translation as Linear Transduction : Models and Algorithms for Efficient Learning in Statistical Machine Translation

   Author : Markus Saers; Joakim Nivre; Anna Sågvall Hein; Dekai Wu; Kevin Knight; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; linear transduction; linear transduction grammar; inversion transduction; zipper finite-state automaton; zipper finite-state transducer; formal language theory; formal transduction theory; translation; automatic translation; machine translation; statistical machine translation; Computational linguistics; Datorlingvistik; Language technology; Språkteknologi; Computational Linguistics; Datorlingvistik;

   Abstract : Automatic translation has seen tremendous progress in recent years, mainly thanks to statistical methods applied to large parallel corpora. Transductions represent a principled approach to modeling translation, but existing transduction classes are either not expressive enough to capture structural regularities between natural languages or too complex to support efficient statistical induction on a large scale. READ MORE

4. 2. Automatic Parallelization using Pipelining for Equation-Based Simulation Languages

   Author : Håkan Lundvall; Peter Fritzson; Welf Löwe; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Equation-Based languages; automatic parallelization; Modelica; simulation; Ekvationsbaserade språk; automatisk parallellisering; Modelica; simulering; Computer science; Datalogi;

   Abstract : During the most recent decades modern equation-based object-oriented modeling and simulation languages, such as Modelica, have become available. This has made it easier to build complex and more detailed models for use in simulation. READ MORE

5. 3. Recycling Translations : Extraction of Lexical Data from Parallel Corpora and their Application in Natural Language Processing

   Author : Jörg Tiedemann; Anna Sågvall Hein; Joakim Nivre; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computational linguistics; word alignment; parallel corpora; translation corpora; computational lexicography; machine translation; Datorlingvistik; Computational linguistics; Datorlingvistik;

   Abstract : The focus of this thesis is on re-using translations in natural language processing. It involves the collection of documents and their translations in an appropriate format, the automatic extraction of translation data, and the application of the extracted data to different tasks in natural language processing. READ MORE

6. 4. Computational Terminology : Exploring Bilingual and Monolingual Term Extraction

   Author : Jody Foo; Magnus Merkel; Lars Ahrenberg; Dimitrios Kokkinakis; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; terminology; automatic term extraction; automatic term recognition; computational terminology; terminology management;

   Abstract : Terminologies are becoming more important to modern day society as technology and science continue to grow at an accelerating rate in a globalized environment. Agreeing upon which terms should be used to represent which concepts and how those terms should be translated into different languages is important if we wish to be able to communicate with as little confusion and misunderstandings as possible. READ MORE

7. 5. Automatic Extraction of Program Models for Formal Software Verification

   Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE