Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 522.
  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. 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 …

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

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

  5. Stefan Popov; Iliyan Georgiev; Rossen Dimov; Philipp Slusallek

    Object partitioning considered harmful: space subdivision for BVHs

    In: HPG '09: Proceedings of the 1st ACM conference on High Performance Graphics. ACM/Eurographics High-Performance Graphics (was Graphics …

  6. Josef Pelikan; Martin Horak; Lukas Marsalek; Jan Horacek; Philipp Slusallek

    Segmentation of Femoral Head from CT after Femoral Neck Fracture

    In: IAPR Conference on Machine Vision Applications 2009, MVA 2009. IAPR Conference on Machine Vision Applications (MVA-09), May 20-22, Yokohama, …

  7. Javor Kalojanov; Philipp Slusallek

    A parallel algorithm for construction of uniform grids

    In: HPG '09: Proceedings of the 1st ACM conference on High Performance Graphics. ACM/Eurographics High-Performance Graphics (was Graphics …

  8. Michael Beetz; Oliver Brock; Gordon Cheng; Jan Peters

    09341 Summary - Cognition, Control and Learning for Robot Manipulation in Human Environments

    In: Michael Beetz; Oliver Brock; Gordon Cheng; Jan Peters (Hrsg.). 09341 Abstracts Collection - Cognition, Control and Learning for Robot Manipulation …

  9. Michael Beetz; Oliver Brock; Gordon Cheng; Jan Peters (Hrsg.)

    09341 Abstracts Collection - Cognition, Control and Learning for Robot Manipulation in Human Environments

    Cognition, Control and Learning for Robot Manipulation in Human Environments, August 16-21, Schloss Dagstuhl, Germany, Dagstuhl Seminar Proceedings, …

  10. Hirotaka Hachiya; Jan Peters; Masashi Sugiyama

    Efficient Sample Reuse in EM-Based Policy Search

    In: Wray L. Buntine; Marko Grobelnik; Dunja Mladenic; John Shawe-Taylor (Hrsg.). Machine Learning and Knowledge Discovery in Databases, European …