Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1998
Remove all filters
Displaying results 91 to 100 of 102.

  1. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, Cottbus, Germany, Pages 125-135, Shaker Verlag, Aachen, 1998.

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

  3. Ansgar Bernardi; Knut Hinkelmann; Michael Sintek

    Model-Based Information Systems for Knowledge Management

    In: IT& Knows, Conference on Information Technology and Knowledge Systems. Conference on Information Technology and Knowledge Systems (IT& Knows), located at 15th IFIP World Computer Congress, August 31 - September 4, Vienna & Budapest, Pages 458-471, ISBN 3-85403-122-X, Austrian Computer Society (OCG), 1998.

  4. Ansgar Bernardi; Knut Hinkelmann; Michael Sintek

    Information Systems in Knowledge Management: An Application Example

    In: Practical Applications in Knowledge Management, PAKeM'98. Practical Applications in Knowledge Management (PAKeM-98), Blackpool, United Kingdom, The Practical Application Company, 1998.

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

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

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

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

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

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

Year