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 506.
  1. Christoph Lüth; Udo Frese; Holger Täubig; Dennis Walter; Daniel Hausmann

    SAMS: Sicherheitskomponente für Autonome Mobile Serviceroboter

    In: Robotik 2008. Leistungsstand - Anwendungen - Visionen - Trends. VDI/VDE Fachtagung Robotik, June 11-12, München, Germany, VDI-Bericht, Vol. 2012, …

  2. Region-Based Segmentation with Ambiguous Color Classes and 2-D Motion Compensation

    In: Ubbo Visser; Fernando Ribeiro; Takeshi Ohashi; Frank Dellaert (Hrsg.). RoboCup 2007: Robot Soccer World Cup XI. RoboCup International Symposium …

  3. Dirk Pattinson; Lutz Schröder

    Admissibility of Cut in Coalgebraic Logics

    In: J. Adamek; C. Kupke (Hrsg.). Coalgebraic Methods in Computer Science. International Workshop on Coalgebraic Methods in Computer Science (CMCS-08), …

  4. Dirk Pattinson; Lutz Schröder

    Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics

    In: Roberto Amadio (Hrsg.). Foundations of Software Science and Computation Structures (FOSSACS 2008). International Conference on Foundations of …

  5. Till Mossakowski; Lutz Schröder; Sergey Goncharov

    A generic complete dynamic logic for reasoning about purity and effects

    In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), …

  6. Oliver Kutz; Dominik Lücke; Till Mossakowski

    Heterogeneously Structured Ontologies: Integration, Connection, and Refinement

    In: T. Meyer; M.A. Orgun (Hrsg.). Knowledge Representation Ontology Workshop. Knowledge Representation Ontology Workshop (KROW-08), located at …

  7. Oliver Kutz; Till Mossakowski; Mihai Codescu

    Shapes of Alignments - Construction, Combination, and Computation

    In: Ulrike Sattler; Andrei Tamilin (Hrsg.). International Workshop on Ontologies: Reasoning and Modularity. International Workshop on Ontologies: …

  8. Yohei Kurata; Hui Shi

    Interpreting Motion Expressions in Route Instructions Using Two Projection-Based Spatial Models

    In: Andreas Dengel (Hrsg.). KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008), 31st Annual German …

  9. Andrea Kohlhase

    MS PowerPoint Use from a Micro-Perspective

    In: Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008. World Conference on Educational Multimedia …

  10. Michael Wünstel; Thomas Röfer

    Multi-Modal Scene Interpretation

    In: Sabine Timpf (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" …