Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 101 bis 110 von 370
  1. Kai Hübner

    Object Description and Decomposition by Symmetry Hierarchies

    In: Vaclav Skala (Hrsg.). WSCG 2007 Short Paper Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and …

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

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

  4. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer

    Interoperability through a Platform-Independent Model for Agents

    In: Ricardo J. Gonçalves; Jörg P. Müller; Kai Mertins; Martin Zelm. Enterprise Interoperability II: New Challenges and Approaches. Pages 195-206, ISBN …

  5. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

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

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

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

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

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

  10. Lutz Schröder; Till Mossakowski

    Coalgebraic Modal Logic in CoCASL

    In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …