Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3151 bis 3160 von 14617.

  1. Rolf Drechsler; Alireza Mahzoon

    Preserving Design Hierarchy Information for Polynomial Formal Verification

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2022), October 3-5, Patras, Greece, 2022.

  2. Rolf Drechsler; Alireza Mahzoon

    Polynomial Formal Verification: Ensuring Correctness under Resource Constraints

    In: 41st International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD), October 30 - November 3, San Diego, USA, 2022.

  3. Mohammad Minouei; Mohammad Reza Soheili; Didier Stricker

    Efficient Table Lines Segmentation with Asymmetric Convolutions

    In: Wolfgang Osten; Dmitry Nikolaev; Jianhong Zhou (Hrsg.). Proceedings Volume 12084, Fourteenth International Conference on Machine Vision (ICMV 2021). International Conference on Machine Vision (ICMV-2021), November 8-12, Rome, Italy, Pages 1-7, Vol. 12084, SPIE, 3/2022.

  4. Pramod Narasimha Murthy; Bertram Taetz; Didier Stricker

    Latenzarme Erkennung vonWassersprungbewegungen in Trainingsvideos

    In: 20. Frühjahrsschule "Technologien im Leistungssport". Frühjahrsschule "Technologien im Leistungssport", September 7-8, Leipzig, Germany, IAT, Leipzig, 9/2022.

  5. Niko Kleer; Martin Feick

    A Study on the Influence of Task Dependent Anthropomorphic Grasping Poses for Everyday Objects

    In: 2022 IEEE-RAS 21st International Conference on Humanoid Robots. IEEE-RAS International Conference on Humanoid Robots (Humanoids-2022), November 28-30, Ginowan, Okinawa, Japan, Pages 829-836, IEEE, 2022.

  6. Niko Kleer; Martin Feick; Michael Feld

    Leveraging Publicly Available Textual Object Descriptions for Anthropomorphic Robotic Grasp Predictions

    In: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2022), October 23-27, Kyoto, Japan, Pages 7476-7483, IEEE, 2022.

  7. Anton Bredenbeck; Shubham Vyas; Martin Zwick; Dorit Borrmann; Miguel A. Olivares-Mendez; Andreas Nuechter

    Trajectory Optimization and Following for a Three Degrees of Freedom Overactuated Floating Platform

    In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2022. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2022), October 23-27, Kyoto, Japan, IEEE, 11/2022.

  8. Agbodzea Pascal Ahiagble; Hannah Stein

    Approaches for Automated Data Quality Analysis: Syntactic and Semantic Assessment

    In: Jahrestagung der Gesellschaft für Informatik 2022. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2022), September 26-30, Hamburg, Germany, ISBN 978-3-88579-720-3, Gesellschaft für Informatik, Bonn, 9/2022.

  9. Thorsten Krause; Henning Gösling; Sabine Digel; Carmen Biel; Sabine Kolvenbach; Oliver Thomas

    Adaptive Cross-Platform Learning for Teachers in Adult and Continuing Education

    In: Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-2022), Vol. Lecture Notes in Computer Science, vol 13356, Springer, Cham, 2022.

  10. Malte Ostendorff; Nils Rethmeier; Isabelle Augenstein; Bela Gipp; Georg Rehm

    Neighborhood Contrastive Learning for Scientific Document Representations with Citation Embeddings

    In: The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022). Conference on Empirical Methods in Natural Language Processing (EMNLP-2022), December 7-11, Abu Dhabi, United Arab Emirates, ACL, 2022.

Jahr

Mehr Optionen