Skip to main content Skip to main navigation

Publications

Displaying results 101 to 110 of 203.
  1. Maintenance of Formal Software Developments by Stratified Verification

    In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Springer-Verlag, LNAI, 2002.

  2. Klaus Fischer; Dieter Hutter

    Proceedings of the 2. International Workshop on Security of Mobile Multiagent Systems

    DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI Research Reports (RR), Vol. 02-03, Bologna, Italy, 2002.

  3. Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay

    Workshop on Evolutionary Formal Software Development

    Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.

  4. Stephan Baldes; Patrick Gebhard; Michael Kipp; Martin Klesen; Peter Rist; Thomas Rist; Markus Schmitt

    The Interactive CrossTalk Installation: Meta-Theater with Animated Presentation Agents

    In: Proceedings of the International Workshop on Lifelike Animated Agents. Pacific Rim International Conference on Artificial Intelligence (PRICAI-02), August 19, Tokyo, Japan, 2002.

  5. Eric Schwarzkopf; Mathias Bauer; Dietmar Dengler

    Exploiting Visual Information in Programming by Demonstration

    In: Yolanda Gil; K. Hammond (Hrsg.). K. Hammond and Y. Gil, editors, Proceedings of the 2002 International Conference on Intelligent User Interfaces (IUI '2002), San Francisco, CA, USA,. International Conference on Intelligent User Interfaces (IUI), 2002.

  6. Christian Schmitt; Dietmar Dengler; Mathias Bauer

    The MAUT Machine: An Adaptive Recommender System

    In: N. Henze, editor, Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Universität Osnabrück,. GI-Workshop "Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen" (ABIS), 2002.

  7. Mathias Bauer; Ludger van Elst; Klaus Fischer; Bernd Freisleben; Petra Funk; Gerd Große; Gabriele Paul; Susan Marie Thomas; Hartmut Vogler

    AgentSurvey: Assessing the state of the Art of Industrial Applications Using Agent Technology and AI

    In: Online Proceedings of the AI-2002 Workshop on Business Agents and the Semantic Web. Canadian Conference on Artificial Intelligence (AI), 15th, Calgary, AB, Canada, 5/2002.

  8. Andreas Dengel; Bertin Klein

    smartFIX: A Requirements-Driven System for Document Analysis and Understanding

    In: IAPR International Workshop on Document Analysis Systems. IAPR International Workshop on Document Analysis Systems (DAS), Springer, 2002.

  9. Christoph Altenhofen; Mirjana Stanisic-Petrovic; Markus Junker; Thomas Kieninger; Haigo Hofmann

    Hinter den Kulissen - Werkzeugeinsatz in der Dokumentenverwaltung

    In: Office, No. 4, 2002.