Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 370.
  1. Hans Uszkoreit; Feiyu Xu; Weiquan Liu

    Challenges and Solutions of Multilingual and Translingual Information Service Systems (invited paper)

    In: Proceedings of HCI International 2007, 12th International Conference on Human-Computer Interaction. Human Computer Interaction International …

  2. Hans Uszkoreit; Feiyu Xu; Weiquan Liu; Jörg Steffen; Ilhan Aslan; Jin Liu; Christel Müller; Bernhard Holtkamp; Manfred Wojciechowski

    A Successful Field Test of a Mobile and Multilingual Information Service System COMPASS2008

    In: Proceedings of HCI International 2007, 12th International Conference on Human-Computer Interaction. Human Computer Interaction International …

  3. Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

    Deep Inference for Automated Proof Tutoring?

    In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

  4. Roy McCasland; Alan Bundy; Serge Autexier

    Automated Discovery of Inductive Theorems

    In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150, Studies in Logic, Grammar and …

  5. Computer Supported Formal Work: Towards a Digital Mathematical Assistant

    In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and …

  6. Manuel Möller; Michael Sintek

    A Generic Framework for Semantic Medical Image Retrieval

    In: T. Bürger; S. Dasiopoulou; C. Eckes (Hrsg.). Proceedings of the 1st Knowledge Acquisition from Multimedia Content Workshop (KAMC-2007) at …

  7. Developments in Technical Knowledge Management Support

    In: Jos F. Schreinemakers; Tom M. van Engers (Hrsg.). 15 years of knowledge management. Pages 199-218, Advances in Knowledge Management, Vol. 3, …

  8. Zdenek Zdrahal; Paul Mulholland; Michael Valasek; Ansgar Bernardi

    Worlds and transformations: Supporting the Sharing and Reuse of Engineering Design Knowledge

    In: International Journal of Human-Computer Studies, Vol. 65, No. 12, Pages 959-982, Elsevier-Verlag, 12/2007.

  9. Knowledge Technologies for the Social Semantic Desktop

    In: Zili Zhang; Jörg Siekmann (Hrsg.). Knowledge Science, Engeneering and Management. 2nd International Conference, Proceedings. International …

  10. Michael Kipp; Michael Neff; Kerstin H. Kipp; Irene Albrecht

    Toward Natural Gesture Synthesis: Evaluating Gesture Units in a Data-Driven Approach to Gesture Synthesis

    In: Catherine Pelachaud; Jean-Claude Martin; Elisabeth Andre; Gérard Chollet; Kostas Karpouzis; Danielle Pelé (Hrsg.). Proceedings of the 7th …