Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 101.
  1. Proactive Knowledge Delivery for Enterprise Knowledge Management

    In: SEKE'99 The Eleventh International Conference on Software and Knowledge Engineering. International Conference on Software Engineering and …

  2. Developing a Knowledge Management Technology - An Encompassing View on KnowMore, Know-Net, and Enrich

    In: Fawzi Daoud (Hrsg.). IEEE WET-ICE'99 Workshop on Knowledge Media Networking, Stanford, 16-18 June. IEEE International Workshops on Enabling …

  3. Towards a Functional Integration of Document Analysis in Workflow Management Systems

    In: Workflow Based Applications, Proceedings of Workflow Management 99. Workflow Management Conference, 1999.

  4. Thomas Kieninger; Bernd Strieder

    T-Recs Table Recognition and Validation Approach

    In: AAAI Press, North Fallmouth, MA, 11/1999.

  5. Thomas Kieninger; Andreas Dengel

    The T-RecS approach for table structure recognition and table border determination

    In: Document Layout Interpretation and its Applications (DLIA99). Document Layout Interpretation and its Applications (DLIA), 1999.

  6. On the Evaluation of Document Analysis Components by Recall, Precision, and Accuracy

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

  7. Electronic Fault Recording: A Corporate Memory for Maintenance Support of Complex Machines

    In: Jos F. Schreinemakers; Jean-Paul Barthès (Hrsg.). Knowledge Management: enterprise, network, and learning. International Symposium on Management …

  8. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …

  9. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

  10. Dennis Dams; Dieter Hutter; Natalia Sidorova

    Using the INKA prover to automate safety proofs in abstract interpretation - A case study

    In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …