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 91 bis 100 von 101
  1. Towards a Functional Integration of Document Analysis in Workflow Management Systems

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

  2. Markus Junker; Michael Sintek; Matthias Rinck

    Learning for Text Categorization and Information Extraction with ILP

    In: Proceedings of the 1st Workshop on Learning Language in Logic. Workshop on Learning Language in Logic, Bled, 1999.

  3. Minghong Liao; Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Michael Sintek

    Ontologies for Knowledge Retrieval in Organizational Memories

    In: Frank Bomarius (Hrsg.). Proceedings of the Workshop on Learning Software Organizations (LSO) at SEKE'99. International Conference on Software …

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

    In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …

  8. Workshop on Automation of Proofs by Mathematical Induction

    Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.

  9. Georg Rock; Werner Stephan; Andreas Wolpers

    Modular Reasoning about Structured TLA Specifications

    In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for …

  10. Georg Rock; Werner Stephan; Andreas Wolpers

    Modeling Dynamic Processes in TLA

    In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …