Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 370.
  1. Ralf Jung; Tim Schwartz

    A Location-Adaptive Human-Centered Audio Email Notification Service for Multi-user Environments

    In: Julie A. Jacko (Hrsg.). Human-Computer Interaction. Human Computer Interaction International Conferences (HCII-07), July 22-27, Beijing, China, …

  2. Michael Kipp; M. Neff; I. Albrecht

    An Annotation Scheme for Conversational Gestures : How to economically capture timing and form

    In: Journal on Language Resources and Evaluation, Vol. 41, No. 3-4, Pages 325-339, Springer, 2007.

  3. NATO (Hrsg.)

    Proceedings of the Workshop: NATO Advanced Study Institute on Mining Massive Data Sets for Security

    NATO Advanced Study Institute on Mining Massive Data Sets for Security (MMDSS), September 10-21, Villa Cagnola/ Gazzada, Italy, Advanced Study …

  4. Embedded Distributed Text Mining and Semantic Web Technology

    In: Proceedings of the Workshop: NATO Advanced Study Institute on Mining Massive Data Sets for Security. NATO Advanced Study Institute on Mining …

  5. Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen

    Towards a Virtual Echocardiographic Tutoring System

    In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …

  6. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

    Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

  7. Thora Tenbrink; Hui Shi

    Negotiating Spatial Goals with a Wheelchair

    In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …

  8. Stefan Wölfl; Till Mossakowski; Lutz Schröder

    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

    In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …

  9. Lutz Schröder; Dirk Pattinson

    Rank-1 Modal Logics are Coalgebraic

    In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …

  10. Lutz Schröder; Dirk Pattinson

    Modular Algorithms for Heterogeneous Modal Logics

    In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …