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 71 to 80 of 533.
  1. Tania Avgustinova; Yi Zhang

    Developing a Russian HPSG based on the Russian National Corpus

    In: Deep Linguistic Processing with HPSG International Cooperation. DELPH-IN Summit, Barcelona, Spain, LINGUIST List: Vol-19-1002. Tue Mar 25 2008. …

  2. Anette von Kapri; Sebastian Ullrich; Boris Brandherm; Helmut Prending

    Global Lab: an interaction, simulation, and experimentation platform based on Second Life and OpenSimulator

    In: Proceedings Pacific-Rim Symposium on Image and Video Technology (PSIVT'09). Pacific-Rim Symposium on Image and Video Technology (PSIVT-09), …

  3. Antske Fokkens; Laurie Poulson; Emily M. Bender

    Inflectional Morphology in Turkish VP Coordination

    In: Stefan Müller (Hrsg.). The Proceedings of the 16th International Conference on Head-Driven Phrase Structure Grammar. International Conference on …

  4. Lutz Schröder; Dirk Pattinson

    PSPACE Bounds for Rank-1 Modal Logics

    In: ACM Transactions on Computational Logic (TOCL), Vol. 10, No. 2, Pages 13:3-13:33, ACM, 2/2009.

  5. Lutz Schröder; Till Mossakowski

    HasCASL: Integrated Higher-Order Specification and Program Development

    In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.

  6. Dennis Pachur; Tim Laue; Thomas Röfer

    Real-time Simulation of Motion-based Camera Disturbances

    In: Luca Iocchi; Hitoshi Matsubara; Alfredo Weitzenfeld; Changjiu Zhou (Hrsg.). RoboCup 2008: Robot Soccer World Cup XII. RoboCup International …

  7. Marco Schreyer; Christian Schulze; Armin Stahl; Wolfgang Effelsberg

    Intelligent Printing Technique Recognition and Photocopy Detection for Forensic Document Examination

    In: Gesellschaft für Informatik (Hrsg.). GI-Informatiktage 2009. GI-Informatiktage (Informatik), March 19-20, Bonn, Germany, Gesellschaft für …

  8. Eduardo Vendrell; Martin Mellado; Filomena Ferrucci; Andrea F. Abate; Stefan Hodek; Detlef Zühlke (Hrsg.)

    Experiences of an Intensive Programme on Robotics

    Informatics Education Europe (IEE-IV), November 5-6, Freiburg, Germany, IEE IV, 2009.

  9. Georgel Calin; Rob Myers; Dirk Pattinson; Lutz Schröder

    CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description)

    In: Carlos Areces; Stephane Demri (Hrsg.). Methods for Modalities (M4M-5). Methods for Modalities (M4M-5), November 29-30, Cachan, France, Pages …

  10. Hui Shi; Thora Tenbrink

    Telling Rolland where to go: HRI dialogues on Route Navigation

    In: Kenny R. Conventry; Thora Tenbrink; John Bateman (Hrsg.). Spatial Language and Dialogue (Explorations in Language and Space). Pages 177-216, …