Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2006
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 377

  1. David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

    Proof General in Eclipse

    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …

  2. Stefan Wölfl; Till Mossakowski (Hrsg.)

    Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings

    German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, …

  3. Tim Laue; Thomas Röfer

    Getting Upright: Migrating Concepts and Software from Four-Legged to Humanoid Soccer Robots

    In: Enrico Pagello; Changjiu Zhou; Emanuele Menegatti (Hrsg.). Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE …

  4. Kai Hübner; J. Zhang

    Stable Symmetry Feature Detection and Classification in Panoramic Robot Vision Systems

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots …

  5. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    A Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.

  6. Thomas Röfer; Jörg Brose; Eike Carls; Jan Carstens; Daniel Göhring; Matthias Jüngel; Tim Laue; Tobias Oberlies; Sven Oesau; Max Risler; Michael Spranger; Christian Werner; Jörg Zimmer

    GermanTeam 2006

    In: G. Lakemeyer; E. Sklar; D. Sorrenti; T. Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup International Symposium …

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

    Completeness of Global Evaluation Logic

    In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

  8. Udo Frese; Lutz Schröder

    Closing a Million-Landmarks Loop

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent …

  9. Tim Schwartz; Ralf Jung

    A Development Cycle for Ambient System Design

    In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). Proceedings of Modelling and Designing User Assistance …

  10. Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Ivana Kruijff-Korbayová; Andreas Korthauer; Manfred Pinkal; Michael Pitz; Peter Poller; Jan Schehl

    Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System

    In: G. Brewka; S. Coradeschi; A. Perini; P. Traverso (Hrsg.). ECAI 2006. European Conference on Artificial Intelligence (ECAI-2006), 17th, August 29 - …

Jahr