Abschlüsse 2005

 

 

Name
Titel Jahr Lehrstuhl Typ
Ajwani, Deepak
Design, implementation and experimental study of external memory BFS algorithms 2005 Sanders Dipl,MSc
Albrecht, Irene
Faces and hands 2005 Hans-Peter Seidel Diss
Alexa, Adrian
Integrating the GO graph structure in scoring the significance of gene ontology terms 2005 Lengauer Dipl,MSc
Al-Rifai, Mohammad Abdulmalik
Load awareness in FliX 2005 Weikum Dipl,MSc
Altmeyer, Oliver
Secure booting and system authentication 2005 Siekmann Dipl,MSc
Bauer, Jörg
Checking universally quantified temporal properties with three-valued analysis 2005 Wilhelm Dipl,MSc
Beyer, Sven
Putting it all together - formal verification of the VAMP 2005 Paul Diss
Biehl, Susanne
Implementierung und Vergleich differentialgleichungsbasierter Inpainting- und Interpolationsalgorithmen 2005 Weickert Dipl,MSc
Blohm, Sebastian
Exploiting organizational information in enterprise text search 2005 Weikum Dipl,MSc
Brox, Thomas
Von Pixeln zu Regionen: Partielle Differentialgleichungen in der Bildanalyse 2005 Weickert Diss
Caroli, Manuel
Exakte Arrangement-Berechnung gedrehter quadratischer Kurven 2005 Dipl,MSc
Chu, Khoa
Interaktive dreidimensionale webbasierte Simulation von Meteoriteneinschlägen 2005 Wilhelm Dipl,MSc
Dallmeier, Valentin
Detecting failure-related anomalies in method call sequences 2005 Zeller Dipl,MSc
Ellisetty, Sreedhar
Extending UDDI matchmaking of web services 2005 Siekmann Dipl,MSc
Fuchs, Carsten
Methods for real-time lighting 2005 Hans-Peter Seidel Dipl,MSc
Funck, Wolfram von
Fully automatic face detection on triangle meshes by symmetry analysis 2005 Hans-Peter Seidel Dipl,MSc
Gromov, Alexey
Model data and description service (MDDS) for a heterogeneous knowledge base 2005 Wahlster Dipl,MSc
Heckmann, Dominikus
Ubiquitous user modeling 2005 Wahlster Diss
Hillebrand, Mark A.
Address spaces and virtual memory specification, implementation, and correctness 2005 Paul Diss
Ifrim, Georgiana
A bayesian learning approach to concept-based document classification 2005 Weikum Dipl,MSc
Kaster, Andreas
Automatische Dokumentklassifikation mittels linguistischer und stilistischer Features 2005 Weikum Dipl,MSc
Katriel, Irit
Constraints and changes 2005 Mehlhorn Diss
Kenmogne, Regis Newo
Understanding LSI via the truncated term-term matrix 2005 Weikum Dipl,MSc
Knapp, Steffen
CVM Spezifikation - dynamischer Teil 2005 Paul BSc
König, Michael
Effektives und effizientes Autoritäsranking von Webinhalten durch kontextspezifische Analyse und Optimierung der Konnektivität 2005 Weikum Dipl,MSc
Lohse, Marco
Network-integrated multimedia middleware services, and applications 2005 Slusallek Diss
Manzoor, Shahid
Authoring presentation semantics for mathematical documents for the web 2005 Siekmann Dipl,MSc
Martin, Andreas
Datenbereinigung und Datenintegration im Umweltsektor 2005 Weikum Dipl,MSc
Mehlmann, Martin
Bestimmen von Fehlerursachen in Programmläufen an Vergleichspunkten mit abweichendem Kontrollfluss 2005 Zeller Dipl,MSc
Müller, Christian
Zweistufige kontextsensitive Sprecherklassifikation am Beispiel von Alter und Geschlecht 2005 Wahlster Diss
Nguiekom, Veronique Laura Gonsu
Verifikation von doppelt verketteten Listen auf Pointerebene 2005 Paul Dipl,MSc
Nicolaus, Christian
Echtzeitdatenerfassung und datenkonsolidierung zur Qualtitätssicherung einer Getriebefertigungsstrecke 2005 Weikum Dipl,MSc
Parduhn, Sascha
Algorithm animation using shape analysis with special regard to binary trees 2005 Wilhelm Dipl,MSc
Piskac, Ruzica
Formal correctness of result checking for priority queues 2005 Ganzinger Dipl,MSc
Pister, Markus
Generisches Softwarepipelining auf Assemblerebene 2005 Wilhelm Dipl,MSc
Pohl, Mathias
Hierarchisches Zeichnen dynamischer Graphen 2005 Wilhelm Dipl,MSc
Pomi, Andreas
Interactive mixed reality rendering in a distributed ray tracing framework 2005 Slusallek Diss
Preiß, Jochen
Complexity and correctness of a super-pipelined processor 2005 Paul Diss
Rauf, Imran
Earliest arrival flows with multiple sources 2005 Skutella Dipl,MSc
Reiter, Dennis
Projektionswidgets für die Interaktion in einer instrumentierten Umgebung 2005 Wahlster Dipl,MSc
Rössl, Christian
New techniques for the modeling, processing and visualization of surfaces and volumes 2005 Hans-Peter Seidel Diss
Schade, Dennis
Effizientes Routing in Peer-to-Peer Netzwerken 2005 Weikum Dipl,MSc
Schlickling, Marc
Generisches Slicing auf Maschinencode 2005 Wilhelm Dipl,MSc
Schmitt, Markus
Dynamische Modellierung interpersoneller Beziehungen zwischen virtuellen Charakteren 2005 Wahlster Diss
Schultes, Dominik
Fast and exact path queries using highway hierarchies 2005 Sanders Dipl,MSc
Schulz, Sylvia
TwinUxQoS 2005 Scheidig Dipl,MSc
Shegalov, German
Integrated data, message, and process recovery for failure masking in web services 2005 Weikum Diss
Siersdorfer, Stefan
Combination methods for automatic document organization 2005 Weikum Diss
Sizov, Sergej
Automatic generation of thematically focused information portals from web data 2005 Weikum Diss
Suchanek, Fabian M.
Ontological reasoning for natural language understanding 2005 Weikum Dipl,MSc
Theobalt, Christian
From image-based motion analysis to free-viewpoint video 2005 Hans-Peter Seidel Diss
Wagner, Andreas
Entwurf und Implementierung einer retargierbaren Programmiersprache für fernprogrammierbare Roboter 2005 Wilhelm Dipl,MSc
Weinand, Caroline
Fill-in reduction while solving large, sparse linear systems with graph theoretical methods 2005 Mehlhorn Dipl,MSc
Yao, Tianfang
A study of chinese named entity and relation identification in a specific domain 2005 Uszkoreit Diss
Yin, Junming
Model selection for mixtures of mutagenetic trees 2005 Lengauer Dipl,MSc
Zheng, Zizhuo
Multi-agents classification and clustering based on different representations in a supermarket simulation system 2005 Siekmann Dipl,MSc
Brach, Uwe
WILIE - Ein wissensbasiertes System zur Vereinfachung der interaktiven Literaturerfassung, Teil A 2005 Wahlster Dipl,MSc
Ehre, Rainer
Die Generierung eines Multiple-Entry Parsers und ein inkrementeller LALR(1)-Parsergenerator 2005 Loeckx Dipl,MSc
Müller, Sabine
CITYGUIDE: ein System zur Wegplanung und Wegbeschreibung 2005 Wahlster Dipl,MSc
Schirra, Jörg
MEGA-ACT. Eine Studie über explizite Kontrollstrukturen und Pseudoparallelität in Aktor-Systemen mit einer Beispielarchitektur in FRL. Band 1 2005 Wahlster Dipl,MSc
Schütte, Alois
Attributierte Transformationsgrammatiken: die Reattributierung 2005 Wilhelm Dipl,MSc
Freunde der Saarbrücker Informatik