Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 761 bis 770 von 13867.

  1. Luca Müller; Rolf Drechsler

    SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  2. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  3. Hitesh Kotte; Florian Daiber; Milos Kravcik; Nghia Duong-Trung

    FitSight: Tracking and Feedback Engine for Personalized Fitness Training

    In: Proceedings of the 32nd ACM Conference on User Modeling, Adaptation and Personalization. International Conference on User Modeling, Adaptation, and Personalization (UMAP-2024), July 1-4, Cagliari, Italy, Pages 223-231, ISBN 979-8-4007-0433-8, ACM, New York, USA, 6/2024.

  4. Alexander Pögelt; Katja Ihsberner; Norbert Pengel; Milos Kravcik; Martin Grüttmüller; Wolfram Hardt

    Individualised Mathematical Task Recommendations through Intended Learning Outcomes and Reinforcement Learning

    In: Angelo Sifaleras; Fuhua Lin (Hrsg.). Generative Intelligence and Intelligent Tutoring Systems. International Conference on Intelligent Tutoring Systems (ITS-2024), located at 20th International Conference, ITS 2024, June 10-13, Thessaloniki, Greece, Pages 117-130, Lecture Notes in Computer Science (LNCS), Vol. 14798, ISBN 978-3-031-63027-9, 978-3-031-63028-6, Springer, Cham, 6/2024.

  5. Noon Pokaratsiri; Saadullah Amin; Günter Neumann (Hrsg.)

    Proceedings of TextGraphs-17: Graph-based Methods for Natural Language Processing

    Annual Meeting of the Association for Computational Linguistics (ACL-2024), The 62nd Annual Meeting of the Association of Computational Linguistics, located at ACL, August 11-16, Bangkok, Thailand, ISBN 979-8-89176-145-2, Association for Computational Linguistics (ACL), 8/2024.

  6. Gregor Duwe; Dominique Mercier; Crispin Wiesmann; Verena Kauth; Kerstin Moench; Markus Junker; Christopher C. M. Neumann; Axel Haferkamp; Andreas Dengel; Thomas Höfner

    Challenges and perspectives in use of artificial intelligence to support treatment recommendations in clinical oncology

    In: John Wiley (Hrsg.). Cancer Medicine, Vol. 13, No. 12, Pages 1-13, Wiley, 6/2024.

  7. Franek Stark; Shubham Vyas; Georg Schildbach; Frank Kirchner

    Mixed Integer Model Predictive Control for a free-floating platform with binary and continuous actuation

    In: Proceedings of the 2024 CEAS EuroGNC conference. CEAS Conference on Guidance, Navigation and Control (EuroGNC-2024), June 11-13, Bristol, United Kingdom, CEAS, Bristol, UK, 2024.

  8. Tahira Shehzadi; Shalini Sarode; Didier Stricker; Muhammad Zeshan Afzal

    Towards End-to-End Semi-Supervised Table Detection with Semantic Aligned Matching Transformer

    In: International Conference on Document Analysis and Recognition (ICDAR-2024). International Conference on Document Analysis and Recognition (ICDAR-2024), Athens, Greece, No. 1-15, Springer, 2024, 2024.

  9. Nick Rüssmeier; Jochen Wollschläger; Felix Becker

    Eye on Water RPI - ein Do It Yourself maker Sensorsystem Projekt zur Messung von Wasserfarben für Citizen Science

    In: 22. GMA/ITG - Fachtagung Sensoren und Messsysteme 2024. GMA/ITG-Fachtagung (GMA/ITG-2024), June 11-12, Nürnberg, Germany, Pages 438-445, ISBN 978-3-910600-01-0, AMA Service GmbH, Wunstorf, 6/2024.

  10. Sarah Sterz; Kevin Baum; Sebastian Biewer; Holger Hermanns; Anne Lauber-Rönsberg; Philip Meinel; Markus Langer

    On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives

    In: Proceedings of the 2024 ACM Conference on Fairness, Accountability, and Transparency. ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT-2024), June 3-6, Rio de Janeiro, Brazil, Pages 2495-2507, ISBN 979-8-4007-0450-5, Association for Computing Machinery, New York, NY, USA, 2024.

Jahr

Mehr Optionen