Skip to main content Skip to main navigation

Publications

Displaying results 2161 to 2170 of 13724.

  1. Marc Hildebrandt; Tom Creutz; Bilal Wehbe; Marius Wirtz; Michael Zipper

    Under-Ice Field tests with an AUV in Abisko/Torneträsk

    In: OCEANS 2022 - Hampton Roads. OCEANS MTS/IEEE Conference (OCEANS-2022), October 17-20, Virginia Beach, Virginia, USA, IEEE, 2022.

  2. Henrik Kortum-Landwehr; Tobias Kohl; Dominik Hubertus; Oliver Hinz; Oliver Thomas

    A Platform Framework for the Adoption and Operation of ML-based Smart Services in the Data Ecosystem of Smart Living

    In: Daniel Demmler; Daniel Krupka; Hannes Federrath (Hrsg.). Lecture Notes in Informatics (LNI) - Proceedings. GI-Informatiktage (Informatik-2022), September 26-30, Hamburg, Germany, Köllen Druck+Verlag GmbH, Bonn, 2022.

  3. Henrik Kortum-Landwehr; Simon Hagen; Janis Hühn; Oliver Thomas

    Analyzing Smart Services from a (Data-) Ecosystem Perspective: Utilizing Network Theory for a graph-based Software Tool in the Domain Smart Living

    In: Daniel Demmler; Daniel Krupka; Hannes Federrath (Hrsg.). Lecture Notes in Informatics (LNI) - Proceedings. GI-Informatiktage (Informatik-2022), September 26-30, Hamburg, Germany, Gesellschaft für Informatik, Bonn 2022, 2022.

  4. Sabine Janzen; Hannah Stein; Nurten Öksüz-Köster; Wolfgang Maaß

    AI meets Design Science - Towards Design Methods for AI Systems Development

    In: International Conference on Information Systems (ICIS) 2022 TREOs. International Conference on Information Systems (ICIS-2022), 12/2022.

  5. Szilvia Szeier; Benjámin Baffy; Gábor Baranyi; Joul Skaf; László Kopácsi; Daniel Sonntag; Gábor Sörös; András Lőrincz

    3D Semantic Label Transfer and Matching in Human-Robot Collaboration

    Learning to Generate 3D Shapes and Scenes, ECCV 2022 Workshop, 10/2022.

  6. Daniel Fernau; Stefan Hillmann; Nils Feldhus; Tim Polzehl

    Towards Automated Dialog Personalization using MBTI Personality Indicators

    In: INTERSPEECH. Conference in the Annual Series of Interspeech Events (INTERSPEECH-2022), ISCA, 2022.

  7. Murali Karthick Baskar; Tim Herzig; Diana Nguyen; Mireia Díez; Tim Polzehl; Lukávs Burget; Jan Honza vCernocký

    Speaker adaptation for Wav2vec2 based dysarthric ASR

    In: INTERSPEECH. Conference in the Annual Series of Interspeech Events (INTERSPEECH-2022), ISCA, 2022.

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

    Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

    In: Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy, 2022.

  9. 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.

  10. 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.

Year

More options