Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 2009
Remove all filters
Displaying results 71 to 80 of 533.

  1. Pinar Wennerberg; Manuel Möller; Sonja Zillner

    A Linguistic Approach to Aligning Representations of Human Anatomy and Radiology

    In: Proceedings of the International Conference on Biomedical Ontologies (ICBO). International Conference on Biomedical Ontologies (ICBO-09), July …

  2. Manuel Möller; Nitya Vyas; Michael Sintek; Sven Regel; Saikat Mukherjee

    Visual Query Construction for Cross-Modal Semantic Retrieval of Medical Information

    In: Proceedings of the Malaysian Joint Conference on Artificial Intelligence (MJCAI). Malaysian Joint Conference on Artificial Intelligence (MJCAI), …

  3. E. Indermühle; Marcus Liwicki; Horst Bunke

    Combining Alignment Results for Historical Handwritten Document Analysis

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

  4. 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 …

  5. 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 …

  6. 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. …

  7. 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 …

  8. 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 …

  9. Detlef Zühlke

    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 …

  10. 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 …

Year