Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 71 to 80 of 726.
  1. Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 115-169, Springer, 2023.

  2. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Carry Look-Ahead Adders

    In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.

  3. Rolf Drechsler; Sebastian Huhn

    Advanced Boolean Techniques

    Springer, 2023.

  4. Joao Maria Janeiro; Stanislav Frolov; Alaaeldin El-Nouby; Jakob Verbeek

    Are Visual Recognition Models Robust to Image Compression?

    In: International Conference on Machine Learning Workshop Neural Compression: From Information Theory to Applications. International Conference on …

  5. Dafna Burema; Nicole Debowski-Weimann; Alexander von Janowski; Jil Grabowski; Mihai Maftei; Mattis Jacobs; Patrick van der Smagt; Djalel Benbouzid

    A sector-based approach to AI ethics: Understanding ethical issues of AI-related incidents within their sectoral context

    In: Francesca Rossi; Sanmay Das; Jenny Davis; Kay Firth-Butterfield; Alex John (Hrsg.). AIES '23: Proceedings of the 2023 AAAI/ACM Conference on AI, …

  6. JCAS-Enabled Sensing as a Service in 6th-Generation Mobile Communication Networks

    In: KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS'23). KuVS …

  7. A Comprehensive Evaluation Framework for Speaker Anonymization Systems

    In: Proc. 3rd Symposium on Security and Privacy in Speech Communication. Symposium on Security and Privacy in Speech Communication (SPSC-2023), …

  8. Christiano Couto Gava; Vishal Sharbidar Mukunda; Tewodros Amberbir Habtegebrial; Federico Raue; Sebastian Palacio; Andreas Dengel

    SphereGlue: Learning Keypoint Matching on High Resolution Spherical Images

    In: The IEEE/CVF Conference on Computer Vision and Pattern Recognition. International Conference on Computer Vision and Pattern Recognition …

  9. Analyzing the potential of active learning for document image classification

    In: International Journal on Document Analysis and Recognition (IJDAR), Vol. 26, Pages 187-209, Springer Nature, 4/2023.