Skip to main content Skip to main navigation

Publications

Displaying results 691 to 700 of 11940.
  1. Train the Spire: An ML-Driven Single Player GWAP for Image Annotation

    In: Proceedings of the 2026 Symposium on Eye Tracking Research and Applications. Symposium on Eye Tracking Research & Applications (ETRA), Marrakesh, Morocco, Pages 1-5, No. 55, ISBN 979-8-4007-2519-7, Association for Computing Machinery (ACM), New York, NY, USA, 6/2026.

  2. Psychology-Grounded Individualized Artificial Mental Model

    In: ArtifiAI for Aging Rehabilitation and Intelligent Assisted Living; 9th International Workshop, ARIAL 2026, Held in Conjunction with IJCAI 2026, Proceedings. Workshop on Data Mining for Ageing, Rehabilitation and Independent Assisted Living (ARIAL-2026), 9th International Workshop, ARIAL in conjunction with the 35th International Joint Conference on AI, 2026., located at IJCAI-2026, August 17-21, Bremen, Germany, Springer Communications in Computer and Information Science (CCIS), 8/2026.

  3. Christopher Huber; M. Eder; M. Turgetto; M. Memmel; H. Stuckenschmidt; T. Nagel

    Embedding Climate Data Into Urban Space: A Situated AR Design Probe

    In: Jan Byska; Alvitta Ottley; Manuela Waldner (Hrsg.). EuroVis 2026 - 28th Eurographics Conference on Visualization 2026 - Short Papers. Eurographics Conference on Visualization (EuroVis-2026), June 8-12, Nottingham, United Kingdom, ISBN 978-3-03868-303-2, The Eurographics Association, 2026.

  4. Nico Bohlinger; Piotr Kicki; Davide Tateo; Krzysztof Walas; Jan Peters

    Evaluation of an Actuated Spine in Agile Quadruped Locomotion

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2605.07988, Pages 1-3, arXiv, 2026.

  5. Fynn Meyer; Leon Frölje; Lennart Weingarten; Kamalika Datta; Abhoy Kole; Christoph Lüth; Rolf Drechsler

    An Efficient Encoding for Subset Sum Problem Exploiting QFT-Based Arithmetic Operators

    In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE), September 13-18, IEEE, 2026.

  6. Catalin Bogdan Ciobanu; Sallar Ahmadi-Pour; Rolf Drechsler; Ingo Feldner

    Forging Robust Building Blocks for Next-Gen RISC-V Chips: Virtual Repository and IP Card

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  7. Martha Schnieber; Rolf Drechsler

    Synthesis for testability and verifiability: Polynomial formal verification and test pattern generation for KFDD circuits

    In: Microprocessors and Microsystems (MICPRO), Vol. 124, Science Direct, 2026.

  8. Towards Reliable LLM-Assisted Verification Artifact Generation in EDA

    In: IEEE International Conference on Omni-Layer Intelligent Systems (COINS). IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS), September 7-9, Bologna, Italy, IEEE, 2026.

  9. Human-Centered Evaluation of an LLM-Based Process Modeling Copilot: A Mixed-Methods Study with Domain Experts

    CHI 2026 Workshop on Human-centered Evaluation and Auditing of Language Models, 3/2026.