Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 533
  1. M. Wüthrich; Marcus Liwicki; A. Fischer; E. Indermühle; H. Bunke; G. Viehhauser; M. Stolz

    Language Model Integration for the Recognition of Handwritten Medieval Documents

    In: Proceedings of the 10th International Conference on Document Analysis and Recognition 2009. International Conference on Document Analysis and …

  2. Mark Hillebrand; Sergey Tverdyshev

    Formal Verification of Gate-Level Computer Systems

    In: Anna Frid; Andrey Morozov; Andrey Rybalchenko; Klaus W. Wagner (Hrsg.). Computer Science -- Theory and Applications. International Computer …

  3. Ernie Cohen; Markus Dahlweid; Mark Hillebrand; Dirk Leinenbach; Michael Moskal; Thomas Santen; Wolfram Schulte; Stephan Tobies

    VCC: A Practical System for Verifying Concurrent C

    In: Stefan Berghofer; Tobias Nipkow; Christian Urban; Makarius Wenzel (Hrsg.). Theorem Proving in Higher Order Logics, 22nd International Conference. …

  4. Alexander Kröner; Patrick Gebhard; Lübomira Spassova; Gerrit Kahl; Michael Schmitz

    Informing Customers by Means of Digital Product Memories

    In: Michael Schneider; Alexander Kröner; Patrick Olivier; Peter Stephan (Hrsg.). Proceedings of the 1st international Workshop on Digital Object …

  5. Alexander Kröner

    Building, Exploiting, and Sharing Personal Digital Memories in SPECTER and SharedLife

    In: Judy Kay; Bob Kummerfeld (Hrsg.). Proceedings of the Lifelong User Modelling Workshop. Lifelong User Modelling Workshop (LLUM-09), located at User …

  6. SmartFactory - A Vision becomes Reality

    In: Keynote Papers of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 09). IFAC Symposium on Information Control …

  7. Marc Hildebrandt; Jochen Kerdels; Jan Albiez

    A Multi-Layered Controller Approach for High Precision End-Effector Control of Hydraulic Underwater Manipulator Systems

    In: OCEANS 09 MTS / IEEE Biloxi - Marine Technology for Our Future: Global and Local Challenges. OCEANS MTS/IEEE Conference (OCEANS-09), Marine …

  8. Daniel Görlich

    Laufzeit-Adaption von Benutzungsschnittstellen für Ambient-Intelligence-Umgebungen mittels Raumbasierter Benutzungsmodelle

    PhD-Thesis, Fachbereich Maschinenbau und Verfahrenstechnik, TU Kaiserslautern, Fortschritt-Berichte pak (ISSN 1439-8109), Vol. 20, ISBN …

  9. Jörg Neidig; Peter Stephan

    An Object Memory Modeling Approach for Product Life Cycle Applications

    In: Workshop Proceedings of the 5th International Conference on Intelligent Environments. Workshop on Digital Object Memories (DOME-09), First, …

  10. Peter Stephan; Ines Dahmann; Peter Kraus; Georg Frey

    Evaluierung von Indoor-Positioning Systems anhand EN ISO 9283 in der SmartFactoryKL

    In: Tagungsbericht VDI AUTOMATION 2009. VDI Automatisierungskongress (AUTOMATION-2009), June 16-17, Baden-Baden, Germany, VDI Verlag, 2009.