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 91 to 100 of 370.
  1. Efficient 6-DOF SLAM with Treemap as a Generic Backend

    In: Proceedings of the International Conference on Robotics and Automation, Rome. IEEE International Conference on Robotics and Automation (ICRA-07), …

  2. John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski

    Ontological Modularity and Spatial Diversity

    In: Spatial Cognition & Computation - An Interdisciplinary Journal, Vol. 7, No. 1, Pages 97-128, Taylor & Francis, 2007.

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

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

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

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

  7. Marc Schröder; Anton Batliner; Christophe d`Allessandro (Hrsg.)

    ParaLing 07 - Proceedings of the International Workshop on Paralinguistic Speech - between Models and Data

    DFKI, DFKI Documents (D), Vol. 07-02, 2007.

  8. Oliver Kutz; Till Mossakowski

    Modules in Transition - Conservativity, Composition, and Colimits

    In: Bernardo Cuenca-Grau; Vasant Honavar; Anne Schlicht; Frank Wolter (Hrsg.). Second International Workshop on Modular Ontologies. International …

  9. Preserving Privacy in the Web by Using Information Flow Control

    In: Rafael Accorsi; Michael Kreutzer; Andreas Schmidt (Hrsg.). Long-Term and Dynamical Aspects of Information Security. ISBN 978-1600219122, Nova …