Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 527.
  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.