Skip to main content Skip to main navigation

Publications

Displaying results 2341 to 2350 of 15161.

  1. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2022), April 6-8, Prague, Czech Republic, 2022.

  2. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Complex Multipliers

    In: 25. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022), February 17-18, virtual, 2022.

  3. Michael Lorenz; Gabriele Bleser; Didier Stricker; Bertram Taetz

    Towards Inertial Human Motion Tracking with Drift-Free Absolute Orientations using only Sparse Sources of Heading Information

    In: Proceedings of the 25th International Conference on Information Fusion in Linköping. International Conference on Information Fusion (FUSION-2022), July 4-7, Linköping, Sweden, IEEE Explore, 2022.

  4. Mareike Hartmann; Daniel Sonntag

    A survey on improving NLP models with human explanations

    In: Proceedings of the First Workshop on Learning with Natural Language Supervision. Workshop on Learning with Natural Language Supervision, located at ACL 2022, May 26, Dublin, Ireland, Association for Computational Linguistics, 2022.

  5. Christoph Manss; Isabel Kuehner; Dmitriy Shutin

    Experimental Validation of Entropy-Driven Swarm Exploration under Sparsity Constraints with Sparse Bayesian Learning

    In: Applied Sciences, Vol. 580, No. 24, Pages 1-21, MDPI Journals, Basel, 4/2022.

  6. Leif Christensen; José de Gea Fernández; Marc Hildebrandt; Christian Ernst Siegfried Koch; Bilal Wehbe

    Recent Advances in AI for Navigation and Control of Underwater Robots

    In: Springer (Hrsg.). Current Robotics Reports, Vol. n.n. Pages n.n.-n.n. Springer, 7/2022.

  7. Aliki Anagnostopoulou; Mareike Hartmann; Daniel Sonntag

    Putting Humans in the Image Captioning Loop

    Bridging Human-Computer Interaction and Natural Language Processing (NAACL 2022), 7/2022.

  8. David Michael Fürst; Priyash Bhugra; René Schuster; Didier Stricker

    Object Permanence in Object Detection Leveraging Temporal Priors at Inference Time

    In: 2022 26th International Conference on Pattern Recognition (ICPR). International Conference on Pattern Recognition (ICPR-2022), August 21-25, Montreal Quebec, Canada, IEEE, 2022.

  9. Maximilian Hoffmann; Ralph Bergmann

    Using Graph Embedding Techniques in Process-Oriented Case-Based Reasoning

    In: Xiao Huang (Hrsg.). Algorithms, Vol. 15, No. 2, Page 25, MDPI, 2022.

  10. Maximilian Hoffmann; Lukas Malburg; Ralph Bergmann

    ProGAN: Toward a Framework for Process Monitoring and Flexibility by Change via Generative Adversarial Networks

    In: Andrea Marrella; Barbara Weber (Hrsg.). Business Process Management Workshops. Business Process Management (BPM), Springer, 2021.

Year

More options