Skip to main content Skip to main navigation

Publications

Displaying results 291 to 300 of 14845.
  1. Implicitly Solved Regularization for Learning-Based Image Registration

    In: Xiaohuan Cao; Xuanang Xu; Islem Rekik; Zhiming Cui; Xi Ouyang (Hrsg.). Machine Learning in Medical Imaging. International Workshop on Machine Learning in Medical Imaging (MLMI-2023), located at International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI 2023), October 8, Vancouver, Canada, Pages 137-146, Lecture Notes in Computer Science (LNCS), Vol. 14348, ISBN 978-3-031-45673-2, Springer Nature Switzerland, 2024.

  2. Luc De Raedt; Angelika Kimmig; Bernd Gutmann; Kristian Kersting; Vítor Santos Costa; Hannu Toivonen

    Probabilistic Inductive Querying Using ProbLog

    In: Saso Dzeroski; Bart Goethals; Pance Panov (Hrsg.). Inductive Databases and Constraint-Based Data Mining. Pages 229-262, Springer, 2010.

  3. Kristian Kersting; Mirwaes Wahabzada; Christian Thurau; Christian Bauckhage

    Hierarchical Convex NMF for Clustering Massive Data

    In: Masashi Sugiyama; Qiang Yang (Hrsg.). Proceedings of the 2nd Asian Conference on Machine Learning. Asian Conference on Machine Learning (ACML-2010), November 8-10, Tokyo, Japan, Pages 253-268, JMLR Proceedings, Vol. 13, JMLR.org, 2010.

  4. Simranjeet Singh; Chandan Jha; Ankit Bende; Phrangboklang Lyngton Thangkhiew; Vikas Rana; Sachin Patkar; Rolf Drechsler; Farhad Merchant

    Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2023.

  5. André Zenner; Kristin Ullmann; Chiara Karr; Oscar Ariza; Antonio Krüger

    The Staircase Procedure Toolkit: Psychophysical Detection Threshold Experiments Made Easy

    In: Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology. ACM Symposium on Virtual Reality Software and Technology (VRST-2023), October 9-11, Christchurch, New Zealand, VRST '23, ISBN 9798400703287, Association for Computing Machinery, 10/2023.

  6. André Zenner; Chiara Karr; Martin Feick; Oscar Ariza; Antonio Krüger

    The Detectability of Saccadic Hand Offset in Virtual Reality

    In: Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology. ACM Symposium on Virtual Reality Software and Technology (VRST-2023), October 9-11, Christchurch, New Zealand, VRST '23, ISBN 9798400703287, Association for Computing Machinery, 10/2023.

  7. Oscar Ariza; Felix Steiner; André Zenner; Frank Steinicke

    Audio-Based Vibrotactile Feedback in Multimodal VR Interactions

    In: Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology. ACM Symposium on Virtual Reality Software and Technology (VRST-2023), October 9-11, Christchurch, New Zealand, VRST '23, ISBN 9798400703287, Association for Computing Machinery, 10/2023.

  8. Dynamic Realization of Multiple Control Toffoli Gate

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25 - February 27, Valencia, Spain, 2024.

  9. Complete and Efficient Verification for a RISC-V Processor using Formal Verification

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  10. In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

    In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.