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 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. Adrian Ulges; Christoph Lampert; Daniel Keysers; Thomas Breuel

    Spatiogram-based Shot Distances for Video Retrieval

    11/2006.

  6. Bernardo Magnini; Danilo Giampiccolo; Pamela Forner; Christelle Ayache; Valentin Jijkoun; Petya Osenova; Anselmo Peñas; Paulo Rocha; Bogdan Sacaleanu; Richard Sutcliffe

    Overview of the CLEF 2006 Multilingual Question Answering Track

    In: Working Notes for the CLEF 2006 Workshop. Conference and Labs of the Evaluation Forum (CLEF), 2006.

  7. Bogdan Sacaleanu; Günter Neumann

    DFKI-LT at the CLEF 2006 Multiple Language Question Answering Track

    In: Working Notes for the CLEF 2006 Workshop. Conference and Labs of the Evaluation Forum (CLEF), 2006.

  8. Alessandro Vallin; Bernardo Magnini; Danilo Giampiccolo; Lili Aunimo; Christelle Ayache; Petya Osenova; Anselmo Peñas; Maarten de Rijke; Bogdan Sacaleanu; Diana Santos; Richard Sutcliffe

    Overview of the CLEF 2005 Multilingual Question Answering Track

    In: Carol Peters (Hrsg.). Accessing Multilingual Information Repositories. Springer-Verlag Berlin Heidelberg, 2006.

  9. Alejandro Figueroa

    Genetic Algorithms for syntactic and data-driven Question Answering on the Web

    Mastersthesis, Computer Linguistics, 2006.

  10. 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.