Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2009
Remove all filters
Displaying results 21 to 30 of 533.

  1. Christoph Lüth

    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. Kristian Kersting; Babak Ahmadi; Sriraam Natarajan

    Counting Belief Propagation

    In: Jeff A. Bilmes; Andrew Y. Ng (Hrsg.). UAI 2009, Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence. Conference …

  7. Kristian Kersting; Zhao Xu

    Learning Preferences with Hidden Common Cause Relations

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

  8. Hannes Schulz; Kristian Kersting; Andreas Karwath

    ILP, the Blind, and the Elephant: Euclidean Embedding of Co-proven Queries

    In: Luc De Raedt (Hrsg.). Inductive Logic Programming, 19th International Conference. International Conference on Inductive Logic Programming …

  9. Saket Joshi; Kristian Kersting; Roni Khardon

    Generalized First Order Decision Diagrams for First Order Markov Decision Processes

    In: Craig Boutilier (Hrsg.). IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint …

  10. Zhao Xu; Kristian Kersting; Volker Tresp

    Multi-Relational Learning with Gaussian Processes

    In: Craig Boutilier (Hrsg.). IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence. International Joint …

Year