Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1998
Alle Filter entfernen
Zeige Ergebnisse 31 bis 40 von 102.

  1. Stephan Oepen; Klaus Netter; Judith Klein

    TSNLP - Test Suites for Natural Language Processing

    In: John Nerbonne (Hrsg.). Linguistic Databases. Pages 13-36, CSLI Lecture Notes, Vol. 77, CSLI Publications, Stanford, 1998.

  2. Stephan Baumann; Jürgen Lichter; Michael Malburg; Heiko Maus; Harald Meyer auf'm Hofe; Claudia Wenzel

    Architektur für ein System zur Dokumentanalyse im Unternehmenskontext - Integration von Datenbeständen, Aufbau- und Ablauforganisation

    DFKI, DFKI Documents (D), Vol. 98-01, 1998.

  3. Stefan Agne; Hans-Günther Hein

    A Pattern Matcher for OCR corrupted Documents and its Evaluation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document Recognition V. DDR Document Recognition and Retrieval (DDR), San Jose, Pages 160-168, Proceedings of SPIE, Vol. 3305, 1/1998.

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

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

  6. Heiko Maus

    Integration of a DAU-System in Workflow Management Systems

    In: Proceedings of the GIGA European Business Process & Workflow Conference. GIGA European Business Process & Workflow Conference, Geneva, Switzerland, 1998.

  7. Andreas Wolpers; Werner Stephan

    Modular Verification of Programmable Logic Controllers with TLA

    In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information Control in Manufacturing (INCOM), Pages 121-126, 1998.

  8. Heiko Mantel; Christoph Kreitz

    A Matrix Characterization for MELL

    In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in Artificial Intelligence, European Workshop (JELIA), Dagstuhl, Pages 169-183, LNAI 1489, Springer, 10/1998.

  9. Heiko Mantel

    Developing a Matrix Characterization for MELL

    DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.

  10. Serge Autexier; Heiko Mantel

    Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus

    Vol. SEKI Report SR-98-05, 1998.

Jahr