Publikationen

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 (AVOCS-09), 9th, September 23-25, Swansea, United Kingdom, Electronic Communications of the EASST, Vol. 23, 2009.

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.

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 in Uncertainty in Artificial Intelligence (UAI-2009), June 18-21, Montreal, QC, Canada, Pages 277-284, AUAI Press, 2009.

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 Conference. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD-2009), September 7-11, Bled, Slovenia, Pages 676-691, Lecture Notes in Computer Science, Vol. 5781, Springer, 2009.

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 (ILP-2009), July 2-4, Leuven, Belgium, Pages 209-216, Lecture Notes in Computer Science, Vol. 5989, Springer, 2009.

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 Conference on Artificial Intelligence (IJCAI-2009), July 11-17, Pasadena, California, USA, Pages 1916-1921, Morgan Kaufmann Publishers Inc. 2009.

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 Conference on Artificial Intelligence (IJCAI-2009), July 11-17, Pasadena, California, USA, Pages 1309-1314, Morgan Kaufmann Publishers Inc. 2009.

Novi Quadrianto; Kristian Kersting; Mark D. Reid; Tibério S. Caetano; Wray L. Buntine

Kernel Conditional Quantile Estimation via Reduction Revisited

In: Wei Wang; Hillol Kargupta; Sanjay Ranka; Philip S. Yu; Xindong Wu (Hrsg.). ICDM 2009, The Ninth IEEE International Conference on Data Mining. IEEE International Conference on Data Mining (ICDM-2009), December 6-9, Miami, Florida, USA, Pages 938-943, IEEE Computer Society, 2009.

Christian Thurau; Kristian Kersting; Christian Bauckhage

Convex Non-negative Matrix Factorization in the Wild

In: Wei Wang; Hillol Kargupta; Sanjay Ranka; Philip S. Yu; Xindong Wu (Hrsg.). ICDM 2009, The Ninth IEEE International Conference on Data Mining. IEEE International Conference on Data Mining (ICDM-2009), December 6-9, Miami, Flordia, USA, Pages 523-532, IEEE Computer Society, 2009.

Marion Neumann; Kristian Kersting; Zhao Xu; Daniel Schulz

Stacked Gaussian Process Learning

In: Wei Wang; Hillol Kargupta; Sanjay Ranka; Philip S. Yu; Xindong Wu (Hrsg.). ICDM 2009, The Ninth IEEE International Conference on Data Mining. IEEE International Conference on Data Mining (ICDM-2009), December 6-9, Miami, Florida, USA, Pages 387-396, IEEE Computer Society, 2009.