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 31 bis 40 von 116
  1. Markus Junker; Rainer Hoch

    Evaluation OCR and Non-OCR Text Representations for Learning Document Classifiers

    In: Proceedings of the 4th International Conference on Document Analysis and Recognition. International Conference on Document Analysis and …

  2. Markus Junker; Andreas Abecker

    Integrating a Thesaurus for Rule Induction in Text Classification

    In: Proceedings of the 20th Annual International ACM/SIGIR Conference on Research and Development in Information Retrieval (SIGIR 97). ACM SIGIR …

  3. Markus Junker; Andreas Abecker

    Exploiting Thesaurus Knowledge in Rule Induction for Text Classification

    In: Recent Advances in Natural Language Processing (RANLP 97). International Conference on Recent Advances in Natural Language Processing (RANLP), …

  4. Ludger van Elst; Franz Schmalhofer

    Die Persistenz von Inferenzen in einem verstehensbasierten kognitiven Modell

    In: Kognitionswissenschaft, Vol. 6, Pages 86-98, 1997.

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

    TELETRUCK: Fleet Management with a Holonic Multiagent System

    DFKI, DFKI Technical Memos (TM), Vol. 97-03, 1997.

  6. Using Rippling to Prove the Termination of Algorithms

    DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.

  7. Georg Rock; Werner Stephan; Andreas Wolpers

    Tool Support for the Compositional Development of Distributed Systems

    In: A. Wolisz; I. Schieferdecker; A. Rennoch (Hrsg.). 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. …

  8. Christoph Kreitz; Heiko Mantel; Jens Otten; Stephan Schmitt

    Connection-Based Proof Construction in Linear Logic

    In: William McCune (Hrsg.). 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), …

  9. Heiko Mantel; Enno Sandner

    A Framework for Connection Calculi

    1997.