Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Jahr

2024 401
2023 732
2022 802
2021 676
2020 599
2019 574
2018 536
2017 507
2016 541
2015 540
2014 578
2013 504
2012 609
2011 589
2010 572
2009 533
2008 506
2007 370
2006 377
2005 327
2004 270
2003 256
2002 203
2001 182
2000 171
1999 101
1998 102
1997 116
1996 80
1995 97
1994 105
1993 128
1992 144
1991 119
1990 58
1989 26
1988 10
1987 16
1986 8
1985 1
1983 1

Zeige Ergebnisse 101 bis 110 von 13074

Lena Herrmann; Jan Christoph Krause

Agrar-Robotik meets MLOps

In: Informatik Aktuell, Alkmene Verlag GmbH, 3/2024.
Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

LLM-Assisted High Quality Invariants Generation for Formal Verification

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …
Caroline Dominik; Rolf Drechsler

Polynomial Formal Verification of Sequential Circuits

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
Mohamed Nadeem; Chandan Jha; Rolf Drechsler

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.
Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on …
André Meyer-Vitali

AI Engineering for Trust by Design

In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based …
Hans-Georg Fill; Jordi Cabot; Wolfgang Maaß; Marten Van Sinderen

AI-Driven Software Engineering – The Role of Conceptual Modeling

In: Enterprise Modelling and Information Systems Architectures (EMISAJ) (Hrsg.). Enterprise Modelling and Information Systems Architectures - …
Mark Niemeyer; Marian Renz; Maren Pukrop; David Hagemann; Tim Zurheide; Daniel Di Marco; Markus Höferlin; Philipp Stark; Florian Rahe; Matthias Igelbrink; Mario Jenz; Thomas Jarmer; Dieter Trautz; Stefan Stiene; Joachim Hertzberg

Cognitive Weeding: An Approach to Single-Plant Specific Weed Regulation

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Malte Luttermann; Mattis Hartwig; Tanya Braun; Ralf Möller; Marcel Gehrke

Lifted Causal Inference in Relational Domains

In: Proceedings of the Third Conference on Causal Learning and Reasoning (CLeaR-24). Conference on Causal Learning and Reasoning (CLeaR-2024), April …

Jahr

2024 401
2023 732
2022 802
2021 676
2020 599
2019 574
2018 536
2017 507
2016 541
2015 540
2014 578
2013 504
2012 609
2011 589
2010 572
2009 533
2008 506
2007 370
2006 377
2005 327
2004 270
2003 256
2002 203
2001 182
2000 171
1999 101
1998 102
1997 116
1996 80
1995 97
1994 105
1993 128
1992 144
1991 119
1990 58
1989 26
1988 10
1987 16
1986 8
1985 1
1983 1