Skip to main content Skip to main navigation

Publications

Displaying results 2841 to 2850 of 13830.

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

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

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

  4. Brian Moser; Stanislav Frolov; Federico Raue; Sebastian Palacio; Andreas Dengel

    DWA: Differential Wavelet Amplifier for Image Super-Resolution

    In: Artificial Neural Networks and Machine Learning ICANN 2023. International Conference on Artificial Neural Networks (ICANN-2023), International Conference on Artificial Neural Networks, September 26-29, Crete, Greece, Springer, 2023.

  5. Dennis Maecker; Henning Gösling; Christoph Heinbach; Friedemann Kammler

    Exploring Multi-Agent Systems for Intermodal Freight Fleets: Literature-based Justification of a New Concept

    In: Milad Mirbabaie (Hrsg.). Wirtschaftsinformatik 2023 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2023), 18. Internationale Tagung Wirtschaftsinformatik, September 18-21, Paderborn, Germany, AIS eLibrary, 2023.

  6. Hongyang Chang; Hongfei Xu; Josef van Genabith; Deyi Xiong; Hongying Zan

    JoinER-BART: Joint Entity and Relation Extraction with Constrained Decoding, Representation Reuse and Fusion

    In: IEEE Transactions on Audio, Speech and Language Processing (IEEE TASL), Vol. 28, Pages x-x, 2023.

  7. Jens Kober; Betty J. Mohler; Jan Peters

    Learning perceptual coupling for motor primitives

    In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2008), September 22-26, Nice, France, Pages 834-839, IEEE, 2008.

  8. Duy Nguyen-Tuong; Jan Peters

    Local Gaussian process regression for real-time model-based robot control

    In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2008), September 22-26, Nice, France, Pages 380-385, IEEE, 2008.

  9. Jan Peters; Duy Nguyen-Tuong

    Real-time learning of resolved velocity control on a Mitsubishi PA-10

    In: 2008 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2008), May 19-23, Pasadena, California, USA, Pages 2872-2877, IEEE, 2008.

  10. Daan Wierstra; Tom Schaul; Jan Peters; Jürgen Schmidhuber

    Episodic Reinforcement Learning by Logistic Reward-Weighted Regression

    In: Vera Kurková; Roman Neruda; Jan Koutník (Hrsg.). Artificial Neural Networks - ICANN 2008 , 18th International Conference, Proceedings. International Conference on Artificial Neural Networks (ICANN-2008), September 3-6, Prague, Czech Republic, Pages 407-416, Lecture Notes in Computer Science, Vol. 5163, Springer, 2008.

Year

More options