Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1151 bis 1160 von 14744.
  1. Hannes Kath; Patricia P. Serafini; Ivan Braga Campos; Thiago Gouvea; Daniel Sonntag

    Leveraging Transfer Learning and Active Learning for Sound Event Detection in Passive Acoustic Monitoring of Wildlife

    In: 3rd Annual AAAI Workshop on AI to Accelerate Science and Engineering. AAAI Workshop on AI to Accelerate Science and Engineering (AI2ASE-2024), located at AAAI, February 26, Vancouver, BC, Canada, 2024.

  2. Ilira Troshani; Thiago Gouvea; Daniel Sonntag

    Leveraging Sound Collections for Animal Species Classification with Weakly Supervised Learning

    In: 3rd Annual AAAI Workshop on AI to Accelerate Science and Engineering. AAAI Workshop on AI to Accelerate Science and Engineering (AI2ASE-2024), located at AAAI, February 26, Vancouver, BC, Canada, 2024.

  3. PORTAL - Plant breeding using robotics and AI for advanced data analysis and decision-making in virtual space

    44. GIL-Jahrestagung, Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2024), 2/2024.

  4. Werner Damm; Martin Fränzle; Alyssa J. Kerscher; Forrest Laine; Klaus Bengler; Bianca Biebl; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Sebastian Lehnhoff; Andreas Lüdtke; Alexander Pretschner; Astrid Rakow; Jochem W. Rieger; Daniel Sonntag; Janos Sztipanovits; Maike Schwammberger; Mark Schweda; Alexander Trende; Anirudh Unni; Eric M. S. P. Veith

    A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations

    In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, No. 1, Pages 1-23, ACM, 2024.

  5. Sajjad Parvin; Chandan Jha; Frank Sill Torres; Rolf Drechsler

    Hidden Cost of Circuit Design with RFETs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  6. Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; Detlef Boeck; René Rathfelder; Torsten Grawunder

    Evaluating an open-source hardware approach from HDL to GDS for a security chip design — a review of the final stage of project HEP

    In: Design, Automation and Test in Europe. Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  7. Muhammad Hassan; Sallar Ahmadi-Pour; Khushboo Qayyum; Chandan Kumar Jha; Rolf Drechsler

    LLM-guided Formal Verification Coupled with Mutation Testing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  8. Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr

    Software doping analysis for human oversight

    In: Formal Methods in System Design, Vol. 62, Pages 1-50, Springer, 4/2024.

  9. Jean-Francois Nies; Syed Tahseen Raza Rizvi; Mohsin Munir; Ludger van Elst; Andreas Dengel

    Knowledge-aware Object Detection in Traffic Scenes

    In: INSTICC (Hrsg.). Proceedings of the 16th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome (ONLINE), Italy, ISBN 978-989-758-680-4, SciTePress, 2/2024.

  10. Eduard Anton; Markus Aptyka; Frank Teuteberg

    The Shaping of Work: Understanding the Dynamics of Job Crafting, Technology, and Institutional Logics

    In: Thirty-Second European Conference on Information Systems (ECIS 2024). European Conference on Information Systems (ECIS), Paphos, Cyprus, Association for Information Systems, 2024.