Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3621 bis 3630 von 14449.

  1. Mohammed Barhoush; Alireza Mahzoon; Rolf Drechsler

    Polynomial Word-Level Verification of Arithmetic Circuits

    In: 19th International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-2021), November 20-22, Beijing, China, 2021.

  2. Rolf Drechsler; Alireza Mahzoon; Lennart Weingarten

    Polynomial Formal Verification of Arithmetic Circuits

    In: N. Chaki; N. Devarakonda; A. Cortesi; H. Seetha (Hrsg.). Proceedings of International Conference on Computational Intelligence and Data Engineering - ICCIDE 2021. International Conference on Computational Intelligence and Data Engineering (ICCIDE-2021), August 13-14, virtual, Lecture Notes on Data Engineering and Communications Technologies (LNDECT), Vol. 99, ISBN 978-981-16-7182-1 (eBook), Springer Singapore, 2021.

  3. Donald Degraen; Michal Piovarvci; Bernd Bickel; Antonio Krüger

    Capturing Tactile Properties of Real Surfaces for Haptic Reproduction

    In: The 34th Annual ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology (UIST-2021), New York, NY, USA, UIST '21, ISBN 9781450386357, Association for Computing Machinery, 2021.

  4. Donald Degraen; Bruno Fruchard; Frederik Smolders; Emmanouil Potetsianakis; Seref Güngör; Antonio Krüger; Jürgen Steimle

    Weirding Haptics: In-Situ Prototyping of Vibrotactile Feedback in Virtual Reality through Vocalization

    In: The 34th Annual ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology (UIST-2021), New York, NY, USA, UIST '21, ISBN 9781450386357, Association for Computing Machinery, 2021.

  5. Christian Kellermann

    Zukunft der digitalen Arbeitsgesellschaft

    In: Frank Schmiedchen; Klaus Peter Kratzer; Jasmin Link; Heinz Stapf-Finé (Hrsg.). Wie wir leben wollen. Kompendium zu Technikfolgen der Digitalisierung, Vernetzung und Künstlicher Intelligenz. Chapter 15, Zukunft der digitalen Arbeitsgesellschaft, Pages 257-266, Vereinigung Deutscher Wissenschaftler ( VDW e. V.) in Zusammenarbeit mit der Hochschule für Technik und Wirtschaft Berlin, ISBN 978-3-8325-5363-0, Logos Verlag, Berlin, 9/2021.

  6. Jigyasa Singh Katrolia; Ahmed Elsherif; Hartmut Feld; Bruno Mirbach; Jason Raphael Rambach; Didier Stricker

    TICaM: A Time-of-flight In-car Cabin Monitoring Dataset

    In: British Machine Vision Conference (Hrsg.). Proceedings of the. British Machine Vision Conference (BMVC-2021), Online, BMVA, 2021.

  7. Stalin Varanasi; Saadullah Amin; Günter Neumann

    AutoEQA: Auto-Encoding Questions for Extractive Question Answering

    In: The 2021 Conference on Empirical Methods in Natural Language Processing. Conference on Empirical Methods in Natural Language Processing (EMNLP-2021), Findings of EMNLP, November 7-11, Punta Cana, Dominican Republic, The Association for Computational Linguistics, 209 N. Eighth Street Stroudsburg, PA 18360 USA, 11/2021.

  8. Thomas M. Roehr

    Active Exploitation of Redundancies in Reconfigurable Multi-Robot Systems

    In: IEEE Transactions on Robotics (T-RO), Vol. n.n. Pages 1-17, IEEE, 6/2021.

  9. Silke Cuno; Eckart Kramer; Norbert Reithinger; Philipp Lämmel

    Datenplattformen und KI-Werkzeuge zur Stärkung der regionalen Ernährungssysteme

    In: Gabriele Sturm (Hrsg.). Stadtforschung und Statistik - Zeitschrift des Verbandes Deutscher Städtestatistiker, Vol. 34, No. 2, Pages 91-96, Schibri-Verlag, Uckerland, 2021.

  10. Alexander Prange; Daniel Sonntag

    A Demonstrator for Interactive Image Clustering and Fine-Tuning Neural Networks in Virtual Reality

    In: Stefan Edelkamp; Ralf Möller; Elmar Rueckert (Hrsg.). KI 2021: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2021), Germany, Pages 194-203, ISBN 978-3-030-87626-5, Springer International Publishing, 2021.

Jahr

Mehr Optionen