Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 73.
  1. Zhongjie Yu; Fabrizio Ventola; Nils Thoma; Devendra Singh Dhami; Martin Mundt; Kristian Kersting

    Predictive Whittle networks for time series

    In: James Cussens; Kun Zhang (Hrsg.). Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence. Conference in Uncertainty …

  2. Arseny Skryagin; Wolfgang Stammer; Daniel Ochs; Devendra Singh Dhami; Kristian Kersting

    Neural-Probabilistic Answer Set Programming

    In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

  3. Viktor Pfanschilling; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming

    In: Gabriele Kern-Isberner; Gerhard Lakemeyer; Thomas Meyer (Hrsg.). Proceedings of the 19th International Conference on Principles of Knowledge …

  4. Xuan Xie; Kristian Kersting; Daniel Neider

    Neuro-Symbolic Verification of Deep Neural Networks

    In: Luc De Raedt (Hrsg.). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conference on …

  5. Dominik Hintersdorf; Lukas Struppek; Kristian Kersting

    To Trust or Not To Trust Prediction Scores for Membership Inference Attacks

    In: Luc De Raedt (Hrsg.). Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conference on …

  6. Xiang Xu; Lu Wang; Arsène Pérard-Gayot; Richard Membarth; Cuiyu Li; Chenglei Yang; Philipp Slusallek

    Temporal Coherence-Based Distributed Ray Tracing of Massive Scenes

    In: IEEE Transactions on Visualization and Computer Graphics (TVCG), Vol. 30, No. 2, Pages 1489-1501, IEEE, 11/2022.

  7. Thomas Stauner; Frédérik Blank; David Michael Fürst; Johannes Günther; Korbinian Hagn; Philipp Heidenreich; Markus Huber; Bastian Knerr; Thomas Schulik; Karl-Ferdinand Leiß

    SynPeDS: A Synthetic Dataset for Pedestrian Detection in Urban Traffic Scenes

    In: Proceedings of the 6th ACM Computer Science in Cars Symposium. ACM Computer Science in Cars Symposium (CSCS-2022), ACM, 12/2022.

  8. Matthias Jasny; Lasse Thostrup; Tobias Ziegler; Carsten Binnig

    P4DB - The Case for In-Network OLTP (Extended Technical Report)

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2206.00623, Pages 0-10, arXiv, 2022.

  9. ASET: Ad-hoc Structured Exploration of Text Collections [Extended Abstract]

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2203.04663, Pages 0-10, arXiv, 2022.

  10. Matthias Jasny; Lasse Thostrup; Tobias Ziegler; Carsten Binnig

    P4DB - The Case for In-Network OLTP

    In: Zachary G. Ives; Angela Bonifati; Amr El Abbadi (Hrsg.). SIGMOD '22: International Conference on Management of Data. ACM SIGMOD International …