Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 806.
  1. Andrea Micheli; Alexandre Arnold; Arthur Bit-Monnot; Luigi Bonassi; Luca Framba; Alfonso Emilio Gerevini; Selvakumar Hastham Sathiya Satchi; Malte Helmert; Felix Ingrand; Luca Iocchi; Uwe Köckemann; Oscar Lima; Fabio Patrizi; Federico Pecora; Guillaume Poveda; Gabriele Röger; Alessandro Saetti; Alessandro Saffiotti; Enrico Scala; Ivan Serina; Sebastian Stock; Florent Teichteil-Koenigsbuch; Alessandro Trapasso; Paolo Traverso; Alessandro Valentini

    Unified Planning: A Python Library Making Planning Technology Accessible

    In: Sylvie Thiébaux; William Yeoh; Akshat Kumar; Pradeep Varakantham (Hrsg.). Proceedings of the 32nd International Conference on Automated Planning and Scheduling, System Demonstration. International Conference on Automated Planning and Scheduling (ICAPS-2022), System Demonstration, located at ICAPS, June 13-24, virtual, Singapore, AAAI Press, Palo Alto, California, USA, 2022.

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

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

  4. 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, Speech and Signal Processing (ICASSP-2022), May 22-27, Singapore, Singapore, Pages 6157-6161, ICASSP, Institute of Electrical and Electronics Engineers (IEEE), 5/2022.

  5. 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, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

  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. Lukas Stefan Stäcker; Philipp Heidenreich; Jason Raphael Rambach; Didier Stricker

    Fusion Point Pruning for Optimized 2D Object Detection with Radar-Camera Fusion

    In: 2022 Proceedings of the. IEEE Winter Conference on Applications of Computer Vision (WACV-2022), January 4-8, Hawaii, HI, USA, IEEE, 2022.

  8. Fatemeh Azimi; Sebastian Palacio; Federico Raue; Jörn Hees; Luca Bertinetto; Andreas Dengel

    Self-supervised Test-time Adaptation on Video Data

    In: WACV. IEEE Winter Conference on Applications of Computer Vision (WACV-2022), January 4-8, IEEE, 1/2022.