Freitag, 21. September 2007, 15:00 Uhr, Raum 5056
Morteza Zahedi, M.Sc.
Robust Appearance-Based Sign Language Recognition
Donnerstag, 6. September 2007, 16:00 Uhr, Hörsaal AH IV
Dipl.-Inform. Nico Wallmeier
Strategien in unendlichen Spielen mit Liveness-Gewinnbedingungen:
Syntheseverfahren, Optimierung und Implementierung
Mittwoch, 5. September 2007, 13:00 Uhr, Hörsaal AH V
Vince Bárány, M.Sc.
Automatic presentations of infinite structures
Montag, 6. August 2007, 10:00 Uhr, Raum 5052
Dipl.-Inform. Marc Spaniol
Informatische Methoden zur Unterstützung von Transkription, Lokalisierung und Adressierung in kulturwissenschaftlichen Communities
Mittwoch, 27. Juni 2007, 10:00 Uhr, Raum 5052
Dipl.-Inform. Ulrich Norbisrath
Configuring eHome Systems
Dienstag, 26. Juni 2007, 15:00 Uhr, Hörsaal AH IV.
Dipl.-Inform. Simon Becker
Integratoren zur Konsistenzsicherung
von Dokumenten in Entwicklungsprozessen
Mittwoch, 13. Juni 2007, 15:00 Uhr, Seminarraum 4017
Simon Fischer
Dynamic Selfish Routing
Mittwoch, 18. April 2007, 14:30 Uhr, Raum 5054
Dipl.-Ing. Michail Miatidis
Integrated Experience-Based
Support of Cooperative Engineering Design Processes
Dienstag, 20. März 2007, 10:00 Uhr, Raum 6317
Dipl.-Inform. Stephan Bischoff
Hybride Geometrierepräsentationen für medizinische
Bildverarbeitung und die Reparatur von CAD Modellen
Mittwoch, 14. Februar 2007, 14:00 Uhr, Raum 5052
Vazha Amiranashvili, MSc.
Robust Real-Time Localization and Mapping in Single and Multi-Robot Systems
Freitag, 26. Januar 2007, 14:00 Uhr, Raum 5052
Dipl.-Inform. Thomas von der Maßen
Feature-basierte Modellierung und Analyse
von Variabilität in Produktlinienanforderungen
Freitag, 26. Januar 2007, 10:00 Uhr, Raum 5056
Dipl.-Inform. Bodo Kraft
Semantische Unterstützung des konzeptuellen Gebäudeentwurfs
Dienstag, 24. Oktober 2006, 17:00 Uhr, Raum 6317
Martin Marinov, M.Sc.
Automatic Generation of Structure-Preserving Models for
Computer-Aided Geometric Design
15. September 2006, 10:00 Uhr, Seminarraum 5052
Dipl.-Inform. Rajendra Persaud
Core Network Mobility — Active MPLS
14. August 2006, 13:30 Uhr, Raum 5056
Dipl.-Ing. András Zolnay
Acoustic Feature Combination for Speech Recognition
20. Juli 2006, 14:00 Uhr, Hörsaal AH VI.
Dipl.-Inform. Volker Stolz
Temporale Assertions für sequentielle und nebenläufige Programme
26. Mai 2006, 14:00 Uhr, Seminarraum 5056
Dipl.-Inform. Boris Böhlen
DRAGOS --- Eine parametrisierbare
Graphdatenbank für Entwicklungswerkzeuge
13. April 2006, 11:00 Uhr, Seminarraum Informatik 1, Raum 4017
Dipl.-Inform. Dirk Bongartz
Algorithmische Aspekte
einiger kombinatorischer Probleme aus der Bioinformatik
15. März 2006, 15:00 Uhr, Hörsaal AH V.
Frau Dipl.-Math. Nicola Ueffing
Word Confidence Measures for Machine Translation
14. März 2006, 14:00 Uhr, Hörsaal AH V.
Dipl.-Inform. Daniel Keysers
Modeling of Image Variability for Recognition
7. März 2006, 17:00 Uhr, Raum 6317
Jianhua Wu M.Sc.
Efficient Data Structures for Distributed and Mobile Geometry Processing
6. März 2006, 15:30 Uhr, Raum 5056
Dipl.-Ing. Hauke Schramm
Modellierung von Sprachvariabilität in Spontansprache für
Spracherkennungssysteme mit großem Vokabular
24. Januar 2006, 11:45 Uhr, Hörsaal AH VI.
Dipl.-Inform. Michael Weber
Parallel Algorithms for Verification of Large Systems
20. Januar 2006, 13:00 Uhr, Rechen- und Kommunikationszentrum, Seffenter Weg 23, Seminarraum (Raum 2.31)
Dipl.-Inform. Andreas Gerndt
Methoden des parallelen Postprocessing numerischer Strömungssimulationsdaten für die echtzeitfähige Visualisierung und Interaktion in VR-basierten Arbeitsumgebungen
20. Dezember 2005, 13:30 Uhr, Raum 5056
Dipl.-Inform. Michael Wallbaum
Indoor Geolocation Using Wireless Local Area Networks
9. Dezember 2005, 15:00 Uhr, Hörsaal AH V.
Dipl.-Physiker Stephan Vogel, CMU
Statistical Machine Translation with Cascaded Probabilistic Transducers
8. Dezember 2005, 13:00 Uhr, Seminarraum 5052
Dipl.-Math. Philipp Rohde
On Games and Logics over Dynamically Changing Structures
18. Oktober 2005, 12:30 Uhr, Raum 5056
Dipl.-Inform. Michael Kirchhof
Integrierte Low-Cost eHome-Systeme -- Prozesse und Infrastrukturen
11. Juli 2005, 10:00 Uhr, Raum 6317
Dipl.-Math. Mario Botsch
High Quality Surface Generation and Efficient Multiresolution Editing Based on Triangle Meshes
30. Juni 2005, 14:00 Uhr, Hörsaal AH VI
Dipl.-Math. Stefan Wöhrle
Decision Problems over Infinite Graphs -- Higher-order Pushdown Systems and Synchronized Products
12. Mai 2005, 10:15 Uhr, Hörsaal AH VI
Dipl.-Inform. Dietmar Berwanger
Games and Logical Expressiveness
6. April 2005, 14:00 Uhr, Raum 5054
Dipl.-Inform. Oliver Meyer
aTool -- Typographie als Quelle der Textstruktur
14. März 2005, 16:30 Uhr, AH II.
Dipl.Phys. Michael Pitz
Investigations on Linear Transformations for Speaker Adaptation and Normalization
7. März 2005, 10:00 Uhr, AH II.
Dipl.Inform. Benedikt Bollig
Automaten und Logiken für Message Sequence Charts
28. Februar 2005, 11:00 Uhr, Raum 5052
Dipl.Inform. Tim Paehler
Entwurf, Implementation und Anwendung eines Frameworks zur Erstellung interaktiver webgestützter Mathematik-Lehrinhalte
14. Februar 2005, 14:30 Uhr, Raum 5055
Dipl.Inform. Frank Imhoff
Objekt orientierte Dienste in konvergierenden Kommunikationsnetzen
14. Februar 2005, 10:30 Uhr, Raum 5055
Dipl.Inform. Carsten Pils
Leistungsorientierte Dienstselektion für mobile Agenten im Internet - Elektronische Staumelder auf der Datenautobahn
21. Dezember 2004, 13:00 Uhr, AH II.
Dipl.Inform. Jörg Striegnitz
Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung
17. Dezember 2004, 14:00 Uhr, Raum 5056
Diplom-Informatiker André Marburger
Reverse Engineering of Complex Legacy Telecommunication Systems
6. Dezember 2004, 16:00 Uhr, AH I.
Dipl.-Phys. Florian Hilger
Quantile Based Histogram Equalization for Noise Robust Speech Recognition
7. September 2004, 14:00 Uhr
Dipl.-Inform. Imed Bouazizi
Proxy Caching for Robust Video Delivery over Lossy Networks
23. August 2004
Dipl.-Inform. Michael Kohen
Segmentierung und Analyse anatomischer Strukturen mit wissensbasierten Modellen
21. Juli 2004, 15:00 Uhr
Dipl.-Inform. Antje Nowack
Slicing für Abstract State Machines
14. Juli 2004, 13:00 Uhr
Dipl.-Inform. Moritz Schnizler
Rollenbasierter Test objektorientierter Software
9. Juli 2004, 10:00 Uhr
Dipl.-Math. Thomas Friedrich List
Nachvollziehbarkeit und Überwachung als Vertrauensdienste auf elektronischen Marktplätzen
10. Mai 2004, 9:30 Uhr
Dipl.-Inform. Felix H. Gatzemeier
Graphbasierte Semantik-orientierte Autorenunterstützung
28. April 2004, 10:00 Uhr
Dipl.-Inform. Dirk Thißen
Trader-basiertes Dienstmanagement in offenen Dienstmärkten
10. März 2004, 15:30 Uhr
Dipl.-Inform. Anthony S. Park
A Service-Based Agent System Supporting
Mobil Computing
19. Januar 2004, 12:00 Uhr
Dipl.-Inform. Mesut Günes
Routing und Adressierung in mobilen
multi-hop Ad-hoc-Netzen
18. Dezember 2003, 14:00 Uhr
Inf.-Dipl. Thierry Cachat
Games on Pushdown Graphs and
Extensions
11. Dezember 2003, 15:00 Uhr
Dipl.-Inform. Christoph Josef Quix
Metadatenverwaltung zur
qualitätsorientierten Informationslogistik in Data-Warehouse-Systemen
4. Dezember 2003, 15:00 Uhr
Dipl.-Inform. Axel Uhl
Software-Architekturen zur
Unterstützung skalierbarer Internet-Suche
26. November 2003, 16:00 Uhr
Dipl.-Ing. Markus Fidler
Providing Internet Quality of Service
based on Differentiated Services Traffic Engineering
17. September 2003, 13:00 Uhr
Dipl.-Ing. Dipl.-Wirt. Ing. Dominikus Herzberg
Modeling Telecommunication Systems: From Standards to System Architectures
8. Oktober 2002
Dipl.-Inform. Franz Josef Och
Statistical Machine Translation: From Single-Word Models to Alignment Templates
24. Oktober 2002
Dipl.-Inform. Dirk Jäger
Unterstützung übergreifender Kooperation in komplexen Entwicklungsprozessen
2. Dezember 2002
Dipl.-Inform. Sonja Nießen
Improving Statistical Machine Translation using Morpho-Syntactic Information
10. Dezember 2002
Dipl.-Inform. Achim Nick
Personalisiertes Information-Brokering
17. Dezember 2002
Dipl.-Inform. Stephan Kreutzer
Fixpunktlogiken
19. Dezember 2002
Dipl.-Inform. Christof Löding
Durch Termersetzung erzeugte unendliche Graphen
10. Januar 2003
Dipl.-Ing. Achim Sixtus
Across-Word Phoneme Models for Large Vocabulary Continuous Speech Recognition
6. Februar 2003
Dipl.-Inform. Christoph Palm
Integrative Auswertung von Farbe und Textur
14. Februar 2003
Dipl.-Inform. Sirko Molau
Normalization in the Acoustic Feature Space for Improved Speech Recognition
16. Juli 2002
Dipl.-Inform. Roland Klemke
Modelling Context in Information Brokering Processes
05. Juni 2002
Dipl.-Inform. Roland Stenzel
Steuerungsarchitekturen für autonome mobile Roboter
17. Juli 2002
Dipl.-Inform. Colin Hirsch
Guarded logics: Algorithms and Bisimulation
25. Juni 2002
Dipl.-Inform. Frank Wessel
Word Posterior Probabilities for Large Vocabulary Continuous Speech Recognition
01. Februar 2002
Dipl.-Inform. Henrik Grosskreutz
Towards More Realistic Logic-Based Robot Controllers in the GOLOG Framework
8. Februar 2002
Dipl.-Math. Martin Leucker
Logiken für Mazurkiewicz Traces
13. Februar 2002
Dipl.-Inf.(Univ.) Henrik Bohnenkamp
Compositional Solution of stochastic proceass algebra models
19. Februar 2002
Dipl.-Inform Steffen Lipperts
Mobile Agent Support Services
5. März 2002
Dipl.-Inform. Stephan Erberich
Modellfreie Analyse der Hämodynamischen Antwort in Funktionellen Magnetresonanztomographien (fMRI) des Menschlichen Gehirns
8. März 2002
Dipl.-Inform. Carsten Lutz
Die Komplexität von Beschreibungslogiken mit konkreten Bereichen
8. März 2002
Dipl.-Inform. Ansgar Schleicher
Evolutionsunterstützung in einem Managementsystem für Entwicklungsprozesse
21 März 2002
Dipl.-Ing. Jörg Bredno
Höherdimensionale Modelle zur Segmentierung biologischer Strukturen
29. Oktober 2001
Dipl.-Inform. Jörg Dahmen
Invariant Image Object Recognition using Gaussian Mixture Densities
31. Oktober 2001
Dipl.-Inform. Christian Cseh
Flow Control for the Available Bit Rate Service in Asynchronous Transfer Mode Networks
4. Mai 2001
Dipl.-Inform. Christoph Tillmann
Word Re-Ordering and Dynamic Progamming Based Search Algorithm for Statistical Machine Translation
9. Mai 2001
Dipl.-Inform. Roland Büschkes
Angriffserkennung in Kommunikationsnetzen
31. Mai 2001
Dipl.-Inform. Stephan Tobies
Zählen in Beschreibungslogiken - Algorithmen und Komplexität
6. Juli 2001
Dipl.-Inform. Thomas Richert
Implementierung paralleler numerischer Verfahren mitalgorithmischen Skeletten
11. Juli 2001
Dipl.-Inform. Klaus Weidenhaupt
Anpassbarkeit von Software-Werkzeugen in prozessintergriertenEntwicklungsumgebungen
17. Juli 2001
Dipl.-Inform. Andreas Becks
Visuelles Wissensmanagement mit adaptierbaren Dokumentenlandkarten
16. August 2001
Dipl.-Inform. Irmgard Dittrich
3D-Netzgenerierung für Fließgewässer
21. August 2001
Dipl.-Inform. Frank Kehren
Vollständige iterative Rekonstruktion von dreidimensionalen Positronen-Emissions-Tomogrammen unter Einsatz einer speicherresidenten Systemmatrix auf Single- und Multiprozessor-Systemen
25. Januar 2001, 12.00 Uhr
Dipl.-Inform. Axel Küpper
Nomadic Communication in Converging Networks
18. Dezember 2000, 15.15 Uhr
Dipl.-Inform. Stefanie Kethers M.A.
Multi-Perspective Modeling and Analysis of Cooperation Processes
18. Dezember 2000, 17.30 Uhr
Dipl.-Inform. Jens Vöge
Strategiesynthese für Paritätsspiele auf endlichen Graphen
08. Dezember 2000, 14.00 Uhr
Dipl.-Inform. Ralf Molitor
Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken
27. Oktober 2000, 11 Uhr
Dipl.-Inform. Olaf Chitil
Type-Inference Based Deforestation of Functional Programs
26. Oktober 2000, 13.00 Uhr
Dipl.-Phys. C. Spreckelsen
Kontextsensitive Wissensvermittlung in der Medizin - Ansatz und Fallstudien zu einer integrativen, webbasierten Entscheidungsunterstützung
25. Oktober 2000
Dipl.-Ing. Peter Beyerlein
Diskriminative Modellkombination in Spracherkennungssystemen mit großem Vokabular
18. Oktober 2000
Dipl.-Inform. Jens Meggers
Adaptiver Videotransport in Mobilfunknetzen
17. Oktober 2000
Dipl.-Inform. Peter Haumer
Requirements Engineering with Interrelated Conceptual Models and Real WorldScenes
26. September, 15.00 Uhr, Raum 5054
Dipl.-Inform. Ralf Küsters
Nicht-Standardinferenzen in Beschreibungslogiken
22. September 2000
Dipl.-Phys. Ralf Schlüter
Investigations on Discriminative Training Criteria
18. August 2000, 10.00 Uhr, Raum 4013
Dipl.-Inform. Hans-Joachim Böckenhauer
Über die Nichtapproximierbarkeit des metrischen Traveling-Salesman-Problems
31. August 2000, 14.30 Uhr, Raum 5054
Dipl.-Inform. Ralf Klamma
Vernetztes Verbesserungsmanagement mit einem Unternehmensgedächtnis-Repository
20. Juli 2000, 14.00 Uhr
Dipl.-Inform. Alexander Ost
Modellbasierte Leistungsbewertung komplexer Kommunikationssysteme mit Matrix-Geometrischen Methoden
17. Juli 2000, 14.00 Uhr
Dipl.-Inform. Peter Klein
Architekturmodellierung verteilter und nebenläufiger Softwaresysteme
27. Juni 2000
Dipl.-Inform. Dirk Trossen
Skalierbare Gruppenkommunikation in streng gekoppelten Umgebungen
21. Juni 2000
Dipl.-Inform. Marc Spielmann
Verification of Relational Transducers for Electronic Commerce
4. April 2000, 10.00 Uhr
Dipl.-Inform. Reiner Ludwig
Eliminating Inefficient Cross-Layer Interactions in Wireless Networking
3. März 2000, 15.00 Uhr
Dipl.-Inform. Ansgar Radermacher
Werkzeugunterstützung zur Erstellung verteilter Anwendungen
9. Februar 2000, 16.30 Uhr, Raum 5056
Dipl.-Inform. Reinhard Kreutz
Das Eden Hypertextsystem: Strukturierte und adaptive Lehrdokumente für das Internet
21. Dezember 1999, 16.00 Uhr, Raum 6019
Dipl.-Inform. Med. Bettina von Buol
Qualitätsgestützte, kooperative Terminologiearbeit
16. Dezember 1999, Raum 5052, 8.00 Uhr
Dipl.- Math. Univ. Peter Reichl
Dynamische Verkehrs- und Preismodellierung für den Einsatz in Kommunikationssystemen
25. Oktober 1999, 16.00 Uhr
Dipl.-Inform. Mathias Nicola, Informatik V
Leistungsbewertung von verteilten, replizierten und drahtlosen Informationssystemen
13. August 1999
Dipl.-Inform. Andreas Winter
Visuelles Programmieren mit Graphtransformationen
30. Juli 1999, 14 Uhr, Raum 5056
Dipl.-Inform. Stefan Gruner
Eine schematische und grammatische Korrespondenzmethode zur Spezifikation konsistent verteilter Datenmodelle