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 71 bis 80 von 327
  1. Adrian Ulges; Christoph Lampert; Thomas Breuel

    Document Image Dewarping using Robust Estimation of Curled Text Lines

    In: International Conference on Document Analysis and Recognition (ICDAR). International Conference on Document Analysis and Recognition (ICDAR), …

  2. Martin Homik; Erica Melis

    Interactive Concept Mapping

    Deliverable, Vol. D28, 12/2005.

  3. Paul Libbrecht; Stefan Winterstein

    The Service Architecture in the ACTIVEMATH Learning Environment

    In: First International Kaleidoscope Learning Grid SIG Workshop on Distributed e-Learning Environments. International Kaleidoscope Learning Grid SIG …

  4. Giorgi Goguadze; Alberto González Palomo; Erica Melis

    Interactivity of Exercises in ActiveMath

    In: C.-K. Looi; D. Jonassen; M. Ikeda (Hrsg.). Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences Sharing. …

  5. Giorgi Goguadze; Alberto González Palomo; Erica Melis

    Interactivity of Exercises in ActiveMath

    In: In Proceedings of the 13th International Conference on Computers in Education (ICCE 2005). International Conference on Computers in Education …

  6. Martin Homik; Andreas Meier

    Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

    In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers …

  7. Martin Homik; Andreas Meier

    Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

    Seki Report, Vol. SR-01-05, 2005.

  8. Paul Libbrecht; E. Machuca; M. Spanbroek

    Loosely Coupling Web-Applications

    In: Proceedings of the Workshop on Adaptive Systems for Web-Based Education: Tools and Reusability at AIED 2005. International Conference on …

  9. Andreas Meier; Erica Melis

    MULTI: A Multi-Strategy Proof Planner

    In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction …

  10. Andreas Maier; Erica Melis

    Failure Reasoning in Multiple-Strategy Proof Planning

    In: Electronic Notes in Theoretical Computer Science, Vol. 125, Pages 67-90, Elsevier, 2005.