Skip to main content
TU Dresden — Faculty of Computer Science — Institute of Theoretical Computer Science

List of Theses

For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

1 bis 58 von 58 Einträgen

Herrmann, Luisa: Weighted automata with storage. Dresden, Technische Universität, Dissertation, 2020

Gebhardt, Kilian: Induction, Training, and Parsing Strategies beyond Context-free Grammars. Dresden, Technische Universität, Dissertation, 2019

Denkinger, Tobias: Two characterisation results of multiple context-free grammars and their application to parsing. Dresden, Technische Universität, Dissertation, 2019

Dörband, Frederic: A Kleene Theorem for Weighted Forest Automata. Dresden, Technische Universität, Master, 2019

Meinert, Pius: The Problem of Computing the Most Probable Tree of a Probabilistic Tree Automaton. Dresden, Technische Universität, Master, 2019

Dietze, Toni: A Formal View on Training of Weighted Tree Automata by Likelihood-Driven State Splitting and Merging. Dresden, Technische Universität, Dissertation, 2018

Mörbitz, Richard: Multioperator-Monoid Parsing. Dresden, Technische Universität, Diplomarbeit, 2018

Thomas, Ruprecht: Implementation and evaluation of k-best Chomsky-Schützenberger parsing for weighted multiple context-free grammars. Dresden, Technische Universität, Master, 2018

Osterholzer, Johannes: New Results on Context-Free Tree Languages. Dresden, Technische Universität, Dissertation, 2017

Majewsky, Stefan: Training of hidden Markov models as an instance of the expectation maximization algorithm. Dresden, Technische Universität, Bachelor, 2017

Mitlöhner, Kevin: Split-Merge Training für Linear Context-free Rewriting Systems. Dresden, Technische Universität, Bachelor, 2017

Johann, Seltmann: Transformationen von Rekursiven Partitionen während der Induktion von Hybridgrammatiken. Dresden, Technische Universität, Bachelor, 2017

Schick, Timo: Transition-based Generation from Abstract Meaning Representations. Dresden, Technische Universität, Master, 2017

Teichmann, Markus: Expressing Context-Free Tree Languages by Regular Tree Grammars. Dresden, Technische Universität, Dissertation, 2017

Zhiang, Liu: Normal forms for weighted multiple context-free grammars. Dresden, Technische Universität, Bachelor, 2016

Frederic, Dörband: Context-free grammars over the free magmoid. Dresden, Technische Universität, Bachelor, 2016

Gebhardt, Kilian: Training of hybrid grammars for the generation of discontinuous phrase structures and non-projective dependency structures. Dresden, Technische Universität, Diplomarbeit, 2015

Luisa, Herrmann: A Chomsky-Schützenberger Theorem for Weighted Automata with Storage. Dresden, Technische Universität, Master, 2015

Mielke, Sebastian: Extracting and binarizing probabilistic linear context-free rewriting systems. Dresden, Technische Universität, Bachelor, 2015

Büchse, Matthias: Algebraic decoder specification: coupling formal-language theory and statistical machine translation. Dresden, Technische Universität, Dissertation, 2014

Pitkin, Oleksiy: Eingabeprodukt eines linearen nichtlöschenden Baumübersetzers mit einer regulären gewichteten Baumsprache. Dresden, Technische Universität, Bachelor, 2013

Herrmann, Luisa: Closure of Regular Tree Languages under Application of the Inverse of YIELD. Dresden, Technische Universität, Bachelor, 2013

John, Richard: Hierarchisches A*-Parsing für probabilistische kontextfreie Grammatiken. Dresden, Technische Universität, Bachelor, 2013

Leonhardt, Christof: State-Splitting für Hidden-Markov-Modelle. Dresden, Technische Universität, Bachelor, 2013

Jobst, Michael: Training of probabilistic context-free grammars. Dresden, Technische Universität, Bachelor, 2013

Nelsen, Tobias: Hidden Markov Models. Dresden, Technische Universität, Bachelor, 2013

Kashefi Pour Dezfooli, Arezoo: Theory and Implementation of IBM Model 2. Dresden, Technische Universität, Master, 2013

Teichmann, Markus: Vergleich von Erkennbarbeit sowie Definierbarkeit gewichteter Baumsprachen über Multioperator- und Baumvaluierungsmonoiden. Dresden, Technische Universität, Diplomarbeit, 2013

Denkinger, Tobias: Product of a Grammar with an n-Gram Model for Statistical Machine Translation. Dresden, Technische Universität, Diplomarbeit, 2013

Fischer, Anja: Decidability of the Twins Property for Weighted Tree Automata over Extremal Semirings. Dresden, Technische Universität, Diplomarbeit, 2012

Stüber, Torsten: Multioperator Weighted Monadic Datalog. Dresden, Technische Universität, Dissertation, 2011

Osterholzer, Johannes: k-Best A* Parsing: Implementation and Heuristics. Dresden, Technische Universität, Diplomarbeit, 2011

Holtz, Hans-Jakob: Implementation of Forward/Backward Application of Weighted Extended Tree Transformations to Recognizable Tree Series. Dresden, Technische Universität, Diplomarbeit, 2011

Morgenroth, Lena: Comparison and Implementation of SMT Evaluation Methods. Dresden, Technische Universität, Diplomarbeit, 2011

Ghumman, Waheed Aslam: A* n-Best Hyperpaths in Haskell. Dresden, Technische Universität, Diplomarbeit, 2010

Müller, Ralf: Backwards Application of Extended Top-down Tree Transducers with Regular Look-ahead. Dresden, Technische Universität, Diplomarbeit, 2010

Dietze, Toni: Efficient Implementation of Parsing for Weighted Tree Automata. Dresden, Technische Universität, Diplomarbeit, 2010

Geisler, Daniel: k-Best-Parsing-Methoden für zirkuläre gewichtete Hypergraphen und Grammatiken. Dresden, Technische Universität, Diplomarbeit, 2009

Heger, Carmen: Composition of linear and nondeleting top-down tree transducers with epsilon-rules. Dresden, Technische Universität, Diplomarbeit, 2008

Büchse, Matthias: Unranked Attributed Tree Transducers. Dresden, Technische Universität, Diplomarbeit, 2008

Böhme, Sascha: Free Theorems for Sublanguages of Haskell. Dresden, Technische Universität, Diplomarbeit, 2007

Maletti, Andreas: The Power of Tree Series Transducers. Dresden, Technische Universität, Dissertation, 2006

Stüber, Torsten: Decomposition of weighted tree automata. Dresden, Technische Universität, Master, 2006

Jung, Jean Christoph: Knuth's generalization of Dijkstra's algorithm. Dresden, Technische Universität, Bachelor, 2006

Voigtländer, Janis: Tree Transducer Composition as Program Transformation. Dresden, Technische Universität, Dissertation, 2005

Troy, Armin: Übersetzung von Zwischencode für eine abstrakte Maschine zur Auswertung funktionaler Programme in Assemblercode für SPARC-Prozessoren. Dresden, Technische Universität, Bachelor, 2005

Jürgensen, Claus: Categorical semantics and composition of tree transducers. Dresden, Technische Universität, Dissertation, 2004

Borchardt, Björn: The Theory of Recognizable Tree Series. Dresden, Technische Universität, Dissertation, 2004

Saptawijaya, Ari: Implementation of an Operational Semantics for MSO-Logic over Trees. Dresden, Technische Universität, Master, 2004

Maletti, Andreas: Direct Construction and Efficiency Analysis for Accumulation Techniques of 2-Modular Tree Transducers. Dresden, Technische Universität, Diplomarbeit, 2002

Hofstedt, Petra: Cooperation and Coordination of constraint solvers. Dresden, Technische Universität, Dissertation, 2001

Voigtländer, Janis: Composition of Restricted Macro Tree Transducers. Dresden, Technische Universität, Master, 2001

Maletti, Andreas: Efficiency Analysis for the Elimination of Intermediate Results in Functional Programs by Composition of Attributed Tree Transducers. Dresden, Technische Universität, Bachelor, 2001

Bormann, Enrico: Entwurf und Implementierung eines Systems zur Erzeugung syntaxgesteuerter Editoren. Dresden, Technische Universität, Master, 2000

Kirsten, Daniel: On decision problems of recognizable trace languages. Dresden, Technische Universität, Dissertation, 1999

Höff, Matthias: Vergleich von Verfahren zur Elimination von Zwischenergebnissen bei funktionalen Programmen. Dresden, Technische Universität, Diplomarbeit, 1999

Kühnemann, Armin: Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata. Dresden, Technische Universität, Dissertation, 1997

Jokubeit, Bernd: Konstruction eines inkrementellen Auswerters für geordnete Makrogrammatiken. Dresden, Technische Universität, Diplomarbeit, 1996

Diese Informationen werden vom FIS bereitgestellt.
Last modified: 2020-10-26 10:29am