Skip to main content Skip to main navigation

Publications

Displaying results 4521 to 4530 of 14456.

  1. Vladimir Herdt; Daniel Große; Rolf Drechsler

    Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.

  2. Alireza Mahzoon; Daniel Große; Christoph Scholl; Rolf Drechsler

    Towards Formal Verification of Optimized and Industrial Multipliers

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.

  3. Matias Valdenegro-Toro

    Deep Sub-Ensembles for Fast Uncertainty Estimation in Image Classification

    In: 4th Bayesian Deep Learning Workshop - NeurIPS 2019 Workshop. Workshop on Bayesian Deep Learning, located at NeurIPS2019, December 13, Vancouver, BC, Canada, Keine, 12/2019.

  4. Simon Hagen; Jonas Brinker; Paul Christoph Gembarski; Roland Lachmayer; Oliver Thomas

    Integration von Smarten Produkten und Dienstleistungen im IoT-Zeitalter: Ein Graph-basierter Entwicklungsansatz

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 56, No. 6, Pages 1-13, Springer Fachmedien Wiesbaden GmbH, Wiesbaden, 10/2019.

  5. Juan Carlos Saborío; Joachim Hertzberg

    Planning Under Uncertainty Through Goal-Driven Action Selection

    In: Jaap van den Herik; Ana Paula Rocha. Agents and Artificial Intelligence. Pages 182-201, ISBN 978-3-030-05453-3, Springer, 2019.

  6. Jameel Malik; Ahmed Elhayek; Fabrizio Nunnari; Didier Stricker

    Simple and effective deep hand shape and pose regression from a single depth image

    In: Computers & Graphics (CAG), Vol. 85, Pages 85-91, ELSEVIER, 10/2019.

  7. Thomas Röfer; Tim Laue; Gerrit Felsch; Arne Hasselbring; Tim Haß; Jan Oppermann; Philip Reichenberg; Nicole Schrader

    B-Human 2019 - Complex Team Play Under Natural Lighting Conditions

    In: Stephan Chalup; Tim Niemueller; Jackrit Suthakorn; Mary-Anne Williams (Hrsg.). RoboCup 2019: Robot World Cup XXIII. RoboCup International Symposium (RoboCup-2019), Pages 646-657, Lecture Notes in Artificial Intelligence (LNAI), Vol. 11531, Springer, 2019.

  8. Martin Ring; Christoph Lüth

    Let's Prove It Later --- Verification at Different Points in Time

    In: Peter Csaba Ölveczky; Gwen Salaün (Hrsg.). Software Engineering and Formal Methods - 17th International Conference, Proceedings. International Conference on Software Engineering and Formal Methods (SEFM-2019), September 16-20, Oslo, Norway, Pages 454-468, Lecture Notes in Computer Science (LNCS), Vol. 11724, ISBN 978-3-030-30446-1, Springer, Cham, 9/2019.

  9. Ramy Battrawy; René Schuster; Oliver Wasenmüller; Qing Rao; Didier Stricker

    LiDAR-Flow: Dense Scene Flow Estimation from Sparse LiDAR and Stereo Images

    In: International conference in robotics and intelligent systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2019), IEEE/RSJ International Conference on Intelligent Robots and Systems, November 4-8, Macao, Macao, IEEE, 2019.

  10. Pavel Potocek; Remco Schoenmakers; Patrick Trampert; Tim Dahmen; Maurice Peemen

    Sparse Scanning Electron Microscopy for Imaging and Segmentation in Connectomics

    In: 2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM). IEEE International Conference on Bioinformatics and Biomedicine (BIBM-2018), December 3-6, Madrid, Spain, Pages 2461-2465, IEEE, 12/2018.

Year

More options