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 171 to 180 of 533.

  1. Darko Obradovic; Stephan Baumann

    A Journey to the Core of the Blogosphere

    In: Proceedings of the International Conference on Advances in Social Network Analysis and Mining (ASONAM 2009). International Conference on Advances …

  2. Georg Buscher; Ludger van Elst; Andreas Dengel

    Segment-level display time as implicit feedback: a comparison to eye tracking

    In: SIGIR '09: Proceedings of the 32nd international ACM SIGIR conference on Research and development in information retrieval. ACM SIGIR Conference …

  3. Manuel Möller; Christian Folz; Michael Sintek; Sascha Seifert; Pinar Wennerberg

    Extending the Foundational Model of Anatomy with Automatically Acquired Spatial Relations

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

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

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

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

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

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

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

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

Year