Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2006
Remove all filters
Displaying results 71 to 80 of 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. Paul Buitelaar; Philipp Cimiano; Stefania Racioppa; Melanie Siegel

    Ontology-based Information Extraction with SOBA

    In: Proc. of LREC. International Conference on Language Resources and Evaluation (LREC), Genoa, Italy, 2006.

  10. Anupriya Ankolekar; Paul Buitelaar; Philipp Cimiano; Pascal Hitzler; Malte Kiesel; Markus Krötzsch; Holger Lewen; Günter Neumann; Michael Sintek; Tuvshintur Tserendorj; Rudi Studer

    SmartWeb: Mobile Access to the Semantic Web

    In: Proc. of the Demo Session at the International Semantic Web Conference. International Semantic Web Conference (ISWC), Athens GA, USA, 11/2006.

Year