Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 15033.
  1. Raúl Domínguez; Mariela De Lucas Alvarez; Siddhant Kadwe; Christoph Hertzberg; Siddhant Shete; Leon Cedric Danter; Marko Jankovik; Shubham Vyas; Jonas Eisenmenger; Pierre Willenbrock; André Felmet; Vikram Unnithan; Frank Kirchner

    PerSim: Perception for Planetary Prospection and Internal Simulation

    In: 17th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2023), October 18-20, Leiden, Netherlands, ASTRA Proceedings, Noordwijk The Netherlands, 2023.

  2. Christian Plagemann; Sebastian Mischke; Sam Prentice; Kristian Kersting; Nicholas Roy; Wolfram Burgard

    Learning predictive terrain models for legged robot locomotion

    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 3545-3552, IEEE, 2008.

  3. Kayhan Dursun; Carsten Binnig; Ugur Çetintemel; Tim Kraska

    Revisiting Reuse in Main Memory Database Systems

    In: Semih Salihoglu; Wenchao Zhou; Rada Chirkova; Jun Yang; Dan Suciu (Hrsg.). Proceedings of the 2017 ACM International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data (SIGMOD-2017), May 14-19, Chicago, IL, USA, Pages 1275-1289, ACM, 2017.

  4. Zheguang Zhao; Lorenzo De Stefani; Emanuel Zgraggen; Carsten Binnig; Eli Upfal; Tim Kraska

    Controlling False Discoveries During Interactive Data Exploration

    In: Semih Salihoglu; Wenchao Zhou; Rada Chirkova; Jun Yang; Dan Suciu (Hrsg.). Proceedings of the 2017 ACM International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data (SIGMOD-2017), May 14-19, Chicago, IL, USA, Pages 527-540, ACM, 2017.

  5. Explanation of Similarities in Temporal Case-Based Reasoning by Visualization

    In: Case-Based Reasoning Research and Development - 34th International Conference, ICCBR 2026, Bremen, Germany, August 13th - 16th, 2026, Proceedings. International Conference on Case-Based Reasoning (ICCBR-2026), 34th International Conference on Case-Based Reasoning, August 13-16, Bremen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 16780, Springer, 2026.

  6. Challenges and Support Potentials in the Development of CBR Applications

    In: Case-Based Reasoning Research and Development - 34th International Conference, ICCBR 2026, Bremen, Germany, August 13th - 16th, 2026, Proceedings. International Conference on Case-Based Reasoning (ICCBR-2026), 34th International Conference on Case-Based Reasoning, August 13-16, Bremen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 16780, Springer, 2026.

  7. A Case Study: QoS Management in Mobile Communications with the Asset Administration Shell

    In: EUCNC 6G Summit 2026. EuCNC/6G Summit (EUCNC & 6G SUMMIT-2026), June 2-5, Malaga, Spain, IEEE, 2026.

  8. Finding a Needle in a Haystack: Scenario Coverage Verification for Single-UAV Missions Using SMT

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

  9. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    A Conflict-Aware Learning Approach to SCA Verification for MAC Architectures

    In: Proceedings of the 33rd IEEE International Symposium on Computer Arithmetic. IEEE International Symposium on Computer Arithmetic (ARITH-2026), June 28 - July 1, Fulda, Germany, IEEE, 2026.