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 81 to 90 of 533.
  1. Michele Folgheraiter; Bertold Bongardt; Jan Albiez; Frank Kirchner

    A Bio-Inspired Haptic Interface for Tele-Robotics Applications

    In: Proceedings of IEEE International Conference on Robotics and Biomemetics. IEEE International Conference on Robotics and Biomimetics …

  2. Feiyu Xu; Peter Adolphs; Hans Uszkoreit; Xiwen Cheng; Hong Li

    Gossip Galore: A Conversational Web Agent for Collecting and Sharing Pop Trivia

    In: Joaquim Filipe; Ana Fred; Bernadette Sharp (Hrsg.). Proceedings of ICAART 2009 - First International Conference on Agents and Artificial …

  3. Lutz Schröder; Dirk Pattinson

    PSPACE Bounds for Rank-1 Modal Logics

    In: ACM Transactions on Computational Logic (TOCL), Vol. 10, No. 2, Pages 13:3-13:33, ACM, 2/2009.

  4. Lutz Schröder; Till Mossakowski

    HasCASL: Integrated Higher-Order Specification and Program Development

    In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.

  5. Dennis Pachur; Tim Laue; Thomas Röfer

    Real-time Simulation of Motion-based Camera Disturbances

    In: Luca Iocchi; Hitoshi Matsubara; Alfredo Weitzenfeld; Changjiu Zhou (Hrsg.). RoboCup 2008: Robot Soccer World Cup XII. RoboCup International …

  6. Marco Schreyer; Christian Schulze; Armin Stahl; Wolfgang Effelsberg

    Intelligent Printing Technique Recognition and Photocopy Detection for Forensic Document Examination

    In: Gesellschaft für Informatik (Hrsg.). GI-Informatiktage 2009. GI-Informatiktage (Informatik), March 19-20, Bonn, Germany, Gesellschaft für …

  7. Eduardo Vendrell; Martin Mellado; Filomena Ferrucci; Andrea F. Abate; Stefan Hodek; Detlef Zühlke (Hrsg.)

    Experiences of an Intensive Programme on Robotics

    Informatics Education Europe (IEE-IV), November 5-6, Freiburg, Germany, IEE IV, 2009.

  8. Georgel Calin; Rob Myers; Dirk Pattinson; Lutz Schröder

    CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description)

    In: Carlos Areces; Stephane Demri (Hrsg.). Methods for Modalities (M4M-5). Methods for Modalities (M4M-5), November 29-30, Cachan, France, Pages …

  9. Hui Shi; Thora Tenbrink

    Telling Rolland where to go: HRI dialogues on Route Navigation

    In: Kenny R. Conventry; Thora Tenbrink; John Bateman (Hrsg.). Spatial Language and Dialogue (Explorations in Language and Space). Pages 177-216, …

  10. Daniel Steffen; Achim Ebert; Matthias Deller; Peter Dannenmann

    Five: Enhancing 3D Wall Displays with a 2D High-Resolution Overlay

    In: The 12th IFIP TC.13 Conference on Human-Computer Interaction. IFIP Conference on Human-Computer Interaction (INTERACT-09), August 24-28, Uppsala, …