Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 14835.
  1. Agent-Based Communication for Fault Diagnosis in Skill-Based Production Environments Using Messages Based on I4.0 Language and Asset Administration Shells

    In: Kosmas Alexopoulos; Sotiris Makris; Panagiotis Stavropoulos (Hrsg.). Advances in Artificial Intelligence in Manufacturing II. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), Cham, Pages 157-170, ISBN 978-3-031-86489-6, Springer Nature Switzerland, 2025.

  2. Considering Inter-Case Dependencies During Similarity-Based Retrieval in Process-Oriented Case-Based Reasoning

    In: Proceedings of the 35th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2022, Hutchinson Island, Jensen Beach, Florida, USA. International FLAIRS Conference (FLAIRS-2022), USA, FloridaOJ, 2022.

  3. Case-Based Activity Detection from Segmented Internet of Things Data

    In: Case-Based Reasoning Research and Development - 33rd International Conference, ICCBR 2025, Biarritz, France, June 30 - July 3rd, 2025, Proceedings. International Conference on Case-Based Reasoning (ICCBR-2025), 33rd International Conference on Case-Based Reasoning, June 30 - July 3, Biarritz, France, Pages 438-453, Lecture Notes in Computer Science (LNCS), Springer, 2025.

  4. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Linear Formal Verification of Sequential Circuits using Weighted-AIGs

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2026.

  5. F. Lalchhandama; Kamalika Datta; Rolf Drechsler; Sandip Chakraborty; Indranil Sengupta

    Practicality of MAGIC NOR in a 1T1M Crossbar Array for In-memory Computing

    In: Journal of Circuits, Systems and Computers, Vol. 31, No. 04, World Scientific, 2026.

  6. How Much Context Matters? A Comparison for Skeleton-Based Activity Recognition

    In: 2026 International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC-2026), March 9-12, Hakodate, Japan, IEEE, 2026.

  7. Biophysics-Enhanced Neural Representations for Patient-Specific Respiratory Motion Modeling

    In: Machine Learning for Biomedical Imaging (MELBA), Vol. 2026 - MELBA–BVM 2025 Special Issue, Pages 148-159, MELBA, 2026.

  8. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formal Verification of Neuromorphic Architectures

    In: SN Computer Science (SNCS), Springer Nature, 2026.

  9. Ece Nur Demirhan Coskun; Kemal Caglar Coskun; Christoph Lüth; Dieter Hutter

    Lyapunov-Based Certified Region-of-Attraction Estimation for Constrained LQR-Controlled Systems

    In: Proceedings of the 19th IEEE Dallas Circuits and Systems Conference. IEEE Dallas Circuits and Systems Conference (DCAS-2026), April 10-12, Dallas, TX, USA, IEEE, 2026.