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: 2022
Remove all filters
Displaying results 41 to 50 of 800.

  1. Sergiy Melnyk; Shreya Tayade; Mervat Zarour; Hans Dieter Schotten

    Wireless Industrial Communication and Control System: AI Assisted Blind Spot Detection-and-Avoidance for AGVs

    In: 3rd International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2022). International Conference on Innovative …

  2. Hannes Kath; Simon Stone; Stefan Rapp; Peter Birkholz

    Carina – A Corpus of Aligned German Read Speech Including Annotations

    In: ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). International Conference on Acoustics, …

  3. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, …

  4. 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.

  5. Björn Deiseroth; Patrick Schramowski; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

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

  6. 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 …

  7. 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 …

  8. 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 …

  9. 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 …

  10. 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 …

Year