Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 559
  1. 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, …

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

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

  5. Muhammad El-Hindi; Zheguang Zhao; Carsten Binnig

    Towards Decentralized Parameter Servers for Secure Federated Learning

    In: Alfredo Cuzzocrea; Oleg Gusikhin; Wil M. P. van der Aalst; Slimane Hammoudi (Hrsg.). Proceedings of the 11th International Conference on Data …

  6. Tobias Ziegler; Dwarakanandan Bindiganavile Mohan; Viktor Leis; Carsten Binnig

    EFA: A Viable Alternative to RDMA over InfiniBand for DBMSs?

    In: Spyros Blanas; Norman May (Hrsg.). International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data …

  7. Muhammad El-Hindi; Tobias Ziegler; Matthias Heinrich; Adrian Lutsch; Zheguang Zhao; Carsten Binnig

    Benchmarking the Second Generation of Intel SGX Hardware

    In: Spyros Blanas; Norman May (Hrsg.). International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data …

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

    DFI: The Data Flow Interface for High-Speed Networks

    In: SIGMOD Record, Vol. 51, No. 1, Pages 15-22, Association for Computing Machinery (ACM), 2022.