Skip to main content Skip to main navigation

Publications

Displaying results 571 to 580 of 14474.
  1. Linear Model Predictive Control for a planar free-floating platform: A comparison of binary input constraint formulations

    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, ESA, 2023.

  2. Cathleen M. Stützer; Milos Kravcik

    Künstliche Intelligenz in der Hochschulbildung. Bildungssoziologische Perspektiven und Herausforderungen

    In: Claudia de Witt; Christina Gloerfeld; Silke Elisabeth Wrede. Künstliche Intelligenz in der Bildung. Pages 219-239, ISBN 978-3-658-40078-1, Springer VS, Wiesbaden, 11/2023.

  3. Avinesh P. V. S.; Carsten Binnig; Benjamin Hättasch; Christian M. Meyer; Orkan Özyurt

    Sherlock: A System for Interactive Summarization of Large Text Collections

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 11, No. 12, Pages 1902-1905, Association for Computing Machinery (ACM), 2018.

  4. Adrian Lutsch; Gagandeep Singh; Martin Mundt; Ragnar Mogk; Carsten Binnig

    Benchmarking the Second Generation of Intel SGX for Machine Learning Workloads

    In: Birgitta König-Ries; Stefanie Scherzinger; Wolfgang Lehner; Gottfried Vossen (Hrsg.). Datenbanksysteme für Business, Technologie und Web (BTW 2023), 20. Fachtagung des GI-Fachbereichs ,,Datenbanken und Informationssysteme" (DBIS). GI-Fachtagungen (BTW-2023), March 6-10, Dresden, Germany, Pages 711-717, LNI, Vol. P-331, Gesellschaft für Informatik e.V. 2023.

  5. Kristian Kersting; Luc De Raedt

    Basic Principles of Learning Bayesian Logic Programs

    In: Luc De Raedt; Paolo Frasconi; Kristian Kersting; Stephen H. Muggleton (Hrsg.). Probabilistic Inductive Logic Programming - Theory and Applications. Pages 189-221, Lecture Notes in Computer Science, Vol. 4911, Springer, 2008.

  6. David W. Aha; Mark S. Boddy; Vadim Bulitko; Artur S. d'Avila Garcez; Prashant Doshi; Stefan Edelkamp; Christopher W. Geib; Piotr J. Gmytrasiewicz; Robert P. Goldman; Pascal Hitzler; Charles L. Isbell Jr.; Darsana P. Josyula; Leslie Pack Kaelbling; Kristian Kersting; Maithilee Kunda; Luís C. Lamb; Bhaskara Marthi; Keith McGreggor; Vivi Nastase; Gregory M. Provan; Anita Raja; Ashwin Ram; Mark O. Riedl; Stuart Russell; Ashish Sabharwal; Jan-Georg Smaus; Gita Sukthankar; Karl Tuyls; Ron van der Meyden; Alon Y. Halevy; Lilyana Mihalkova; Sriraam Natarajan

    Reports of the AAAI 2010 Conference Workshops

    In: AI Magazine, Vol. 31, No. 4, Pages 95-108, American Association for Artificial Intelligence, 2010.

  7. Björn Deiseroth; Patrick Schramowski; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2208.13518, Pages 0-10, arXiv, 2022.

  8. Carsten Binnig; Donald Kossmann; Eric Lo

    Testing database applications

    In: Surajit Chaudhuri; Vagelis Hristidis; Neoklis Polyzotis (Hrsg.). Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data (SIGMOD-2006), June 27-29, Chicago, Illinois, USA, Pages 739-741, ACM, 2006.

  9. Carsten Binnig; Donald Kossmann; Eric Lo; M. Tamer Özsu

    QAGen: generating query-aware test databases

    In: Chee Yong Chan; Beng Chin Ooi; Aoying Zhou (Hrsg.). Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM SIGMOD International Conference on Management of Data (SIGMOD-2007), June 12-14, Beijing, China, Pages 341-352, ACM, 2007.

  10. Carsten Binnig; Donald Kossmann; Eric Lo

    Reverse Query Processing

    In: Rada Chirkova; Asuman Dogac; M. Tamer Özsu; Timos K. Sellis (Hrsg.). Proceedings of the 23rd International Conference on Data Engineering. IEEE International Conference on Data Engineering (ICDE-2007), April 15-20, Istanbul, Turkey, Pages 506-515, IEEE Computer Society, 2007.