Skip to main content Skip to main navigation

Publications

Displaying results 1821 to 1830 of 15235.
  1. Which Transformer to Favor: A Comparative Analysis of Efficiency in Vision Transformers

    In: Proceedings of the Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision (WACV-2025), February 28 - March 4, Tucson, AZ, USA, AZ, USA, Pages 6955-6966, ISBN 979-8-3315-1083-1, IEEE, 2/2025.

  2. Zhongqian Zhao; Mehmed Yüksel; Kunal Kulkarni; Raúl Domínguez; Svenja Falker; Tim Gumbold; Andreas Bresser; Amrita Suresh; Paul Zabel; Mateo Rejón; Siebo Reershemius; Manuel Meder

    Beneficiation of REgolith and Mobile ExcavatioN (Team BREMEN)

    In: ASTRA 2025 Proceedings. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2025), 18th Symposium on Advanced Space Technologies in Robotics and Automation, located at ASTRA 2025, October 7-9, Scheltema, Leiden, Netherlands, ESA, 2025.

  3. Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig

    HLR-SQL: Human-Like Reasoning for Text-to-SQL

    In: Novel Optimizations for Visionary AI Systems Workshop at SIGMOD 2025. Novel Optimizations for Visionary AI Systems Workshop (NOVAS-2025), located at SIGMOD 2025, June 22, Berlin, Germany, SIGMOD, 2025.

  4. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, QC, Canada, Pages 9077-9085, Vol. 34, IJCAI Organization, 8/2025.

  5. Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  6. Zahra Zamani; Scott Sanner; Pascal Poupart; Kristian Kersting

    Symbolic Dynamic Programming for Continuous State and Observation POMDPs

    In: Peter L. Bartlett; Fernando C. N. Pereira; Christopher J. C. Burges; Léon Bottou; Kilian Q. Weinberger (Hrsg.). Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Neural Information Processing Systems (NeurIPS-2012), December 3-6, Lake Tahoe, Nevada, USA, Pages 1403-1411, Curran Associates, Inc. 2012.

  7. Daan Fierens; Kristian Kersting; Jesse Davis; Jian Chen; Martin Mladenov

    Pairwise Markov Logic

    In: Fabrizio Riguzzi; Filip Zelezný (Hrsg.). Inductive Logic Programming - 22nd International Conference. International Conference on Inductive Logic Programming (ILP-2012), September 17-19, Dubrovnik, Croatia, Pages 58-73, Lecture Notes in Computer Science, Vol. 7842, Springer, 2012.

  8. Sriraam Natarajan; Saket Joshi; Baidya Nath Saha; Adam Edwards; Tushar Khot; Elizabeth Moody; Kristian Kersting; Christopher T. Whitlow; Joseph A. Maldjian

    A Machine Learning Pipeline for Three-Way Classification of Alzheimer Patients from Structural Magnetic Resonance Images of the Brain

    In: 11th International Conference on Machine Learning and Applications. International Conference on Machine Learning (ICML-2012), December 12-15, Boca Raton, FL, USA, Pages 203-208, Vol. 1, IEEE, 2012.

  9. Zhao Xu; Kristian Kersting; Christian Bauckhage

    Efficient Learning for Hashing Proportional Data

    In: Mohammed Javeed Zaki; Arno Siebes; Jeffrey Xu Yu; Bart Goethals; Geoffrey I. Webb; Xindong Wu (Hrsg.). 12th IEEE International Conference on Data Mining. IEEE International Conference on Data Mining (ICDM-2012), December 10-13, Brussels, Belgium, Pages 735-744, IEEE Computer Society, 2012.