Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 270
  1. Anette Frank

    Generalizations over Corpus-Induced Frame Assignment Rules

    In: Proceedings of the LREC 2004 Workshop on. International Conference on Language Resources and Evaluation (LREC), Lissabon, Portugal, 2004.

  2. Anette Frank; Katrin Erk

    Towards an LFG Syntax-Semantics Interface for Frame Semantics Annotation

    In: Alexander Gelbukh (Hrsg.). Computational Linguistics and Intelligent Text Processing. Pages 1-12, Lecture Notes in Computer Science, Vol. Vol. …

  3. Armin Stahl

    Lernen von Wissensintensiven Ähnlichkeitsmaßen im Case-Based Reasoning

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  4. Michael Kruppa

    The better remote control: Multiuser interaction with public displays

    In: Andreas Butz; Christian Kray; Antonio Krüger; Albrecht Schmidt (Hrsg.). Proceedings of the MU3I workshop at IUI 2004. Workshop on Multi-User and …

  5. C. Rocchi; O. Stock; M. Zancanaro; Michael Kruppa; Antonio Krüger

    The museum visit: generating seamless personalized presentations on multiple devices

    In: Nuno Jardim Nunes; Charles Rich (Hrsg.). IUI '04: Proceedings of the 9th International Conference on Intelligent User Interface. International …

  6. Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier

    Interactive Theorem Proving with Tasks

    In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.

  7. Viktor Izhutkin; Erica Melis; Vera Toktarova; Giorgi Goguadze

    Interactive Education Methods for the Solution of Extremal Tasks with the Help of the Learning System ActiveMath

    In: Telematika 2004. Conference on communication infrastructure and telematics for cities, municipalities and regions of the Czech Republic …

  8. Paul Libbrecht

    Authoring Web Content in ActiveMath: From Developer Tools and Further

    In: Alexandra Cristea; Franca Garzotto (Hrsg.). Proceedings of the Second International Workshop on Authoring Adaptive and Adaptable Educational …

  9. Andreas Meier; Erica Melis

    Meta Reasoning in Multiple-Strategy Proof Planning

    In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …

  10. Andreas Meier; Erica Melis

    Failure Reasoning in Multiple-Strategy Proof Planning

    In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint …