Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 101 bis 110 von 807.
  1. Saman Fröhlich; Rolf Drechsler

    Generation of Verified Programs for In-Memory Computing

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  2. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  3. Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.

  4. Kamalika Datta; Saeideh Shirinzadeh; Phrangboklang Lyngton Thangkhiew; Indranil Sengupta; Rolf Drechsler

    Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles

    In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD), August 31 - September 2, Gran Canaria, Spain, 2022.

  5. Self-SuperFlow: Self-supervised Scene Flow Prediction in Stereo Sequences

    In: International Conference on Image Processing. IEEE International Conference on Image Processing (ICIP-2022), October 16-19, Bordeaux, France, IEEE, 2022.

  6. Mohamed Selim; Stephan Krauß; Tewodros Amberbir Habtegebrial; Alain Pagani; Didier Stricker

    Deep Orientation-Guided Gender Recognition from Face Images

    In: Proceedings of the 12th International Conference on Pattern Recognition Systems. International Conference on Pattern Recognition Systems (ICPRS-22), June 7-10, Saint-Étienne, France, IEEE, 2022.

  7. Nareg Minaskan Karabid; Charles-Alban Dormoy; Alain Pagani; Jean-Marc Andre; Didier Stricker

    Human intelligent machine teaming in single pilot operation: A case study

    In: HCI International 2022. Human Computer Interaction International Conferences (HCII-2022), June 26 - July 1, Gothenburg/Virtual, Sweden, Springer, 2022.

  8. Peter Pfeiffer; Heike Sander; Peter Fettke; Wolfgang Reisig

    Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices

    In: Proceedings of HEDA-2022. The International Health Data Workshop (HEDA-2022), located at International Conference on Application and Theory of Petri Nets and Concurrency, June 19-24, Bergen, Norway, CEUR, 11/2022.

  9. Unified Multi-Modal Data Aggregation for Complementary Sensor Networks Applied for Localization

    In: Proceedings of the IEEE Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2022), located at 95th IEEE Vehicular Technology Conference, June 19-22, Helsinki, Finland, IEEE, 6/2022.

  10. Nicoletta Calzolari; Frédéric Béchet; Philippe Blache; Khalid Choukri; Christopher Cieri; Thierry Declerck; Sara Goggi; Hitoshi Isahara; Bente Maegaard; Joseph Mariani; Hélène Mazo; Jan Odijk; Stelios Piperidis (Hrsg.)

    Proceedings of the 13th Language Resources and Evaluation Conference

    International Conference on Language Resources and Evaluation (LREC-2022), June 20-25, Marseille, France, ISBN 979-10-95546-72-6, ELRA, Paris, 6/2022.