Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 1998
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 102

  1. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Toward a Technology for Organizational Memories

    In: IEEE Intelligent Systems, Vol. 13, No. 3, Pages 40-48, IEEE Computer Society, 5/1998.

  2. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Techniques for Organizational Memory Information Systems

    DFKI GmbH, DFKI Documents (D), Vol. 98-02, 2/1998.

  3. Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

    TELETRUCK: Fleet Management with a Holonic Multiagent System

    In: Proceedings of 14th European Meeting on Cybernetics ans Systems Research, EMCSR-98. European Meetings on Cybernetics and Systems Research …

  4. Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

    Transportation Scheduling with Holonic MAS - The TeleTruck Approach

    In: Proceedings of 3rd International Conference on Practical Applications of Intelligent Agents and Multiagents, PAAMS-98. International Conference on …

  5. Markus Junker; Rainer Hoch

    An Experimental Evaluation of OCR Text Representations for Learning Document Classifiers

    In: International Journal on Document Analysis and Recognition (IJDAR), Vol. 1, No. 2, Pages 116-122, 6/1998.

  6. Dieter Hutter

    Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  7. Dieter Hutter

    Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  8. Dieter Hutter

    Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  9. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

  10. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

Jahr