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 91 bis 100 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. Peter Poller

    Centrally Managed System Infrastructure and Integration in COMIC

    In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing …

  10. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Verena Rieser; Jan Schehl

    The SAMMIE corpus of multimodal dialogues with an MP3 player

    In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), …

Jahr