Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 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. 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. Matthew Hoffman; Nando de Freitas; Arnaud Doucet; Jan Peters

    An Expectation Maximization Algorithm for Continuous Markov Decision Processes with Arbitrary Reward

    In: David A. Van Dyk; Max Welling (Hrsg.). Proceedings of the Twelfth International Conference on Artificial Intelligence and Statistics. …

  9. Jan Peters; Jun Morimoto; Russ Tedrake; Nicholas Roy

    Robot learning [TC Spotlight]

    In: IEEE Robotics & Automation Magazine, Vol. 16, No. 3, Pages 19-20, IEEE, 2009.

  10. Hirotaka Hachiya; Takayuki Akiyama; Masashi Sugiyama; Jan Peters

    Adaptive importance sampling for value function approximation in off-policy reinforcement learning

    In: Neural Networks, Vol. 22, No. 10, Pages 1399-1410, Elsevier, 2009.