Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 2007
Remove all filters
Displaying results 61 to 70 of 370.

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

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

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

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

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

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

  7. Jörg Siekmann; Serge Autexier

    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 …

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

  9. Rui Wang; Günter Neumann

    DFKI-LT at AVE 2007: Using Recognizing Textual Entailment for Answer Validation

    In: A. Nardi; C. Peters (Hrsg.). Online proceedings of CLEF 2007 Working Notes. Conference and Labs of the Evaluation Forum (CLEF), …

  10. Hannes Vilhjálmsson; Nathan Cantelmo; Justine Cassell; Nicolas E. Chafai; Michael Kipp; Stefan Kopp; Maurizio Mancini; Stacy Marsella; Andrew N. Marshall; Catherine Pelachaud; Zsofi Ruttkay; Kristinn R. Thórisson; Herwin van Welbergen; Rick J. van der Werf

    The Behavior Markup Language: Recent Developments and Challenges

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

Year