Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 370

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

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

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

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

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

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

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

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

  9. Serge Autexier; A. Fiedler; T. Neumann; M. Wagner

    Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems

    In: M. Kauers; M. Kerber; R. Miner; W. Windsteiger (Hrsg.). Towards Mechanized Mathematical Assistants. International Conference on Mathematical …

  10. Serge Autexier; C. Benzmüller (Hrsg.)

    Proceedings of the 7th Workshop on User Interfaces for Theorem Provers

    Workshop on User Interfaces for Theorem Provers (UITP-2006), August 21, Seattle, WA, USA, Electronic Notes in Theoretical Computer Science (ENTCS), …

Jahr