Skip to main content Skip to main navigation

Publications

Displaying results 7 to 12 of 506.
  1. Martin Mladenov; Leonard Kleinhans; Kristian Kersting

    Lifted Inference for Convex Quadratic Programs

    In: Satinder Singh; Shaul Markovitch (Hrsg.). Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. AAAI Conference on …

  2. Martin Mladenov; Vaishak Belle; Kristian Kersting

    The Symbolic Interior Point Method

    In: Satinder Singh; Shaul Markovitch (Hrsg.). Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. AAAI Conference on …

  3. Youness Dehbi; Fabian Hadiji; Gerhard Gröger; Kristian Kersting; Lutz Plümer

    Statistical Relational Learning of Grammar Rules for 3D Building Reconstruction

    In: Transactions in GIS, Vol. 21, No. 1, Pages 134-150, Wiley, 2/2017.

  4. Kristian Kersting; Martin Mladenov; Pavel Tokmakov

    Relational linear programming

    In: Artificial Intelligence (AIJ), Vol. 244, Pages 188-216, Elsevier, 2017.

  5. Zheguang Zhao; Emanuel Zgraggen; Lorenzo De Stefani; Carsten Binnig; Eli Upfal; Tim Kraska

    Safe Visual Data Exploration

    In: Semih Salihoglu; Wenchao Zhou; Rada Chirkova; Jun Yang; Dan Suciu (Hrsg.). Proceedings of the 2017 ACM International Conference on Management of …

  6. Kayhan Dursun; Carsten Binnig; Ugur Çetintemel; Tim Kraska

    Revisiting Reuse in Main Memory Database Systems

    In: Semih Salihoglu; Wenchao Zhou; Rada Chirkova; Jun Yang; Dan Suciu (Hrsg.). Proceedings of the 2017 ACM International Conference on Management of …