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 51 to 60 of 370.
  1. Feiyu Xu

    Bootstrapping Relation Extraction from Semantic Seeds

    PhD-Thesis, Saarland University, 2007.

  2. Anette Frank; Hans-Ulrich Krieger; Feiyu Xu; Hans Uszkoreit; Berthold Crysmann; Ulrich Schäfer

    Question Answering from Structured Knowledge Sources

    In: Journal of Applied Logic, Vol. 5, No. 1, Pages 20-48, 2007.

  3. Feiyu Xu; Hans Uszkoreit; Hong Li

    A Seed-driven Bottom-up Machine Learning Framework for Extracting Relations of Various Complexity

    In: Proceedings of ACL 2007, 45th Annual Meeting of the Association for Computational Linguistics. Annual Conference of the North American Chapter of …

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

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

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

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

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

  9. Matthias Deller; Achim Ebert; Michael Bender; Stefan Agne; Henning Barthel

    Preattentive visualization of information relevance

    In: HCM '07: Proceedings of the international workshop on Human-centered multimedia. International Workshop on Human-centered Multimedia (HCM), Pages …

  10. Daniel Bahls; Thomas Roth-Berghofer

    Explanation Support for the Case-Based Reasoning Tool myCBR

    In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-2007), July 22-26, Vancouver, BC, Canada. AAAI Conference on Artificial …