Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 51 bis 60 von 533
  1. User Interfaces for Theorem Provers: Necessary Nuisanec or Unexplored Potential?

    In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems …

  2. Goce Trajcevski; Oliviu Ghica; René Schubotz; Marco Zuniga; Manfred Hauswirth; Peter Scheuermann

    Discrepancy and Multipath Routing in Wireless Sensor Networks - Semantic Scholar

    Technical Report, Northwestern University, Northwestern University Technical Reports, Vol. NWU-EECS-09-18, 2009.

  3. Udo Frese; Tim Laue; Oliver Birbach; Jörg Kurlbaum; Thomas Röfer

    (A) Vision for 2050 Context-Based Image Understanding for a Human-Robot Soccer Match

    In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festkolloquium for Bernd Krieg-Brückner's 60th birthday. Pages 273-289, Sichere Kognitive …

  4. Thomas Röfer; Tim Laue; Judith Müller; Oliver Bösche; Armin Burchardt; Eric Damrose; Katharina Gillmann; Colin Graf; Thijs Jeffry de Haas; Alexander Härtl; Andrik Rieskamp; André Schreck; Ingo Sieverdingbeck et al.

    B-Human Team Report and Code Release 2009

    2009.

  5. Thomas Röfer; Christian Mandel; Axel Lankenau; Bernd Gersdorf; Udo Frese

    15 Years of Rolland

    In: Berthold Hoffmann; Till Mossakowski; Lutz Schröder. Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Pages …

  6. Udo Frese; Holger Täubig

    Verfahren zur Vermeidung von Kollisionen gesteuert beweglicher Teile einer Anlage

    DFKI, DFKI Research Reports (RR), Vol. 09-01, 2009.

  7. Tania Avgustinova; Yi Zhang

    Exploiting the Russian National Corpus in the Development of a Russian Resource Grammar

    In: Workshop on Adaptation of Language Resources and Technology to New Domains. International Conference on Recent Advances in Natural Language …

  8. Tania Avgustinova; Yi Zhang

    Parallel Grammar Engineering for Slavic Languages

    In: Workshop on Grammar Engineering Across Frameworks. Joint conference of the Annual Meeting of the Association for Computational Linguistics and the …

  9. 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. …

  10. 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), …