Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 61 bis 70 von 270
  1. Oliver Thomas; Christian Seel; Christian Seel; Bettina Hermes; Gunnar Martin

    EPK-Referenzmodelle für Verwaltungsverfahren

    In: Markus Nüttgens; Frank Rump (Hrsg.). Proceedings des 3. GI-Workshop "EPK 2004 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten". …

  2. Katja Herrmann; Christian Seel

    Controlling of Adaptive Reference Models

    In: K. Macik (Hrsg.). Proceedings of the 6th International Conference on "The Modern Information Technology in the Innovation Processes of the …

  3. A Mathematical Model for Improving Retrieval Performance in Collaborative Information Retrieval

    In: Advances in Mathematical / Formal Methods in Information Retrieval, 2004.

  4. Christine Daun

    Service Engineering - How to develop new services

    In: Proceedings of the 6th International Conference on "The Modern Information Technology in the Innovation Processes of the Industrial Enterprises …

  5. Adrian Ulges; Christoph Lampert; Thomas Breuel

    Document Capture using Stereo Vision

    In: ACM Symposium on Document Engineering. ACM Symposium on Document Engineering (DocEng), Milwaukee, Pages 198-200, ACM, 10/2004.

  6. Giorgi Goguadze; Carsten Ullrich; Erica Melis; Jörg Siekmann; Christian Gross; Rafael Morales

    LeActiveMath Structure and Metadata Model

    Report (Deliverable), LeActiveMath Consortium, LeActiveMath, Vol. D6, 2004.

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

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

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

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