Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 795
  1. Route-planning in output-material-flow arable farming operations aiming for soil protection

    In: Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft -- Referate der 42. GIL-Jahrestagung. Gesellschaft für Informatik in der …

  2. Paula Kammler; Christian Heidemann; Kai Lingemann; Karsten Morisse

    Digitaler Experte im Stall: ein Expertensystem am Beispiel des Eutergesundheitsmanagements

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). Informatik in der Land-, Forst- und …

  3. Jan Christoph Krause; Sebastian Röttgermann; Matthias Müter; André Berghaus; Jens Herbers; Stefan Menke; Jaron Martinez; Dominik Nieberg; Arno Ruckelshausen; Naeem Iqbal; Mark Niemeyer; Stefan Stiene; Joachim Hertzberg

    Concept of a Test Environment for the Automated Evaluation of Algorithms for Robust and Reliable Environment Perception

    In: Barbara Sturm; Henning Meyer (Hrsg.). LAND.TECHNIK 2022 The Forum for Agricultural Engineering Innovations. International Conference Agricultural …

  4. Andreas Winter; Boris Brandherm; Michael Igel; Peter Schegner

    Klassische Stromnetzberechnung in Kombination mit künstlicher Intelligenz zur Analyse und Diagnose von Stromverteilnetzen

    In: VDE FNN / ETG Tutorial Schutz- und Leittechnik. VDE FNN / ETG Tutorial Schutz- und Leittechnik, VDE Verlag GmbH, 2/2022.

  5. Abdul Rafey Aftab; Michael Beeck

    Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle

    In: 27th International Conference on Intelligent User Interfaces (IUI '22), March 22--25, 2022, Helsinki, Finland. International Conference on …

  6. Christopher Metz; Mehran Goli; Rolf Drechsler

    ML-based Power Estimation of Convolutional Neural Networks on GPGPUs

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  7. Milan Funck; Vladimir Herdt; Rolf Drechsler

    Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  8. Alireza Mahzoon; Daniel Große; Christoph Scholl; Alexander Konrad; Rolf Drechsler

    Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

    In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, USA, 2022.

  9. Rolf Drechsler; Alireza Mahzoon; Mehran Goli

    Towards Polynomial Formal Verification of Complex Arithmetic Circuits

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  10. Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …