Skip to main content Skip to main navigation

Publications

Displaying results 1651 to 1660 of 15235.

  1. Thomas Wiemann; Kai Lingemann; Joachim Hertzberg; Kim Oliver Rinnewitz

    Automatic Creation and Application of Texture Patterns to 3D Polygon Maps

    In: Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2013), November 3-7, Tokio, Japan, 11/2013.

  2. Martin Günther; Joachim Hertzberg; Thomas Wiemann; Sven Albrecht

    Building Semantic Object Maps from Sparse and Noisy 3D Data

    In: Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2013), November 3-7, Tokio, Japan, 11/2013.

  3. Kristin Stamm; Andreas Dengel

    Enhancing Attentive Task Search with Information Gain Trees and Failure Detection Strategies

    In: Joaquim Filipe; Ana Fred (Hrsg.). Proceedings of the 5th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-13), February 15-18, Barcelona, Spain, Pages 81-90, Vol. 2, ISBN 978-989-8565-39-6, SCITEPRESS – Science and Technology Publications, 2/2013.

  4. Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

    The VSE Refinement Method in Hets

    In: Electronic Communications of the EASST, 2013.

  5. Mihai Codescu; Till Mossakowski; Christian Maeder

    Checking conservativity with Hets

    In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13), September 3-6, Warsaw, Poland, 2013.

  6. Till Mossakowski

    Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods

    In: Theoretical Computer Science, 2013.

  7. André van Delden; Till Mossakowski

    Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward

    In: From Research to Innovation and Practical Applications - Proceedings of the 36th Annual Conference on Artificial Intelligence (KI 2013). German Conference on Artificial Intelligence (KI-13), 36th, September 16-20, Koblenz, Germany, Lecture Notes in Artificial Intelligence (LNAI), Springer, 2013.

  8. Mihai Codescu; Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe

    Compiling Logics

    In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain, Pages 111-126, Lecture Notes in Computer Science (LNCS), Vol. 7841, Springer, 2013.

  9. Phillip James; Alexander Knapp; Till Mossakowski; Markus Roggenbach

    Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL

    In: Narciso Martí-Oliet; Miguel Palomino (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain, Pages 178-194, Lecture Notes in Computer Science (LNCS), Vol. 7841, Springer, 2013.

  10. Till Mossakowski; Oliver Kutz; Christoph Lange

    Semantics of the distributed ontology language: Institutes and Institutions

    In: Miguel Palomino; Narciso Martí-Oliet (Hrsg.). Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-2012), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain, Pages 212-230, Lecture Notes in Computer Science (LNCS), Vol. 7841, Springer, 2013.

Year

More options