Skip to main content Skip to main navigation

Publications

Displaying results 871 to 880 of 13252.
  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. Carsten Binnig; Donald Kossmann; Eric Lo

    Multi-RQP: generating test databases for the functional testing of OLTP applications

    In: Leo Giakoumakis; Donald Kossmann (Hrsg.). Proceedings of the 1st International Workshop on Testing Database Systems. International Workshop on Testing Database Systems (DBTest-2008), June 13, Vancouver, BC, Canada, ACM, 2008.

  9. Carsten Binnig; Donald Kossmann; Eric Lo; Angel Saenz-Badillos

    Automatic Result Verification for the Functional Testing of a Query Language

    In: Gustavo Alonso; José A. Blakeley; Arbee L. P. Chen (Hrsg.). Proceedings of the 24th International Conference on Data Engineering. IEEE International Conference on Data Engineering (ICDE-2008), April 7-12, Cancún, Mexico, Pages 1534-1536, IEEE Computer Society, 2008.

  10. Gustavo Alonso; Donald Kossmann; Timothy Roscoe; Nesime Tatbul; Andrew Baumann; Carsten Binnig; Peter M. Fischer; Oriana Riva; Jens Teubner

    The ETH Zurich systems group and enterprise computing center

    In: SIGMOD Record, Vol. 37, No. 4, Pages 94-99, Association for Computing Machinery (ACM), 2008.