Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2004
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 270.

  1. Jan-Thies Bähr; Peter Dannenmann; Ludger van Elst; Armin Hust; Andreas Lauer; Heiko Maus; Sven Schwarz

    EPOS Evolving Personal to Organizational Knowledge Spaces

    DFKI, DFKI Research Reports (RR), Vol. 04-01, 2004.

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

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

  4. Erica Melis; et al.

    Customization of Interaction: The "Mathefürerschein" Experience

    In: Book of Abstract, Online Educa Berlin 2004. International Conference on Technology Supported Learning & Training (Online Educa-2004), ICWE, 2004.

  5. P. Jermann; Martin Mühlenbrock; A. Martínez

    An Introduction to Designing Computational Models of Collaborative Learning Interaction

    In: Proceedings of The 2nd International Workshop on Designing Computational Models of Collaborative Learning Interaction in conjunction with ITS 2004. International Workshop on Designing Computational Models of Collaborative Learning Interaction, Maceio, Pages 5-12, 9/2004.

  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 (Telematika), Moskow, 2004.

  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 Hypermedia, AH-2004: Workshop Proceedings, Part II, CS-Report 04-19. Augmented Human International Conference (AH-2004), Pages 455-460, Technische Universiteit Eindhoven, 2004.

  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). German Conference on Artificial Intelligence (KI), September 20-24, Ulm, Germany, Pages 84-98, Lecture Notes in Computer Science (LNCS), Vol. 3238, No. 2004-03, ISBN 3-540-23166-8, Springer, Berlin, 9/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 Conference on Automated Reasoning (IJCAR2004). International Joint Conference on Automated Reasoning (IJCAR), Cork, Pages 93-105, 7/2004.

Jahr