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 71 bis 80 von 102
  1. 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 …

  2. Heiko Mantel

    Developing a Matrix Characterization for MELL

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

  3. Serge Autexier; Heiko Mantel; Werner Stephan

    Simultaneous Quantifier Elimination

    In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

  4. Axel Schairer

    A Technique for Reusing Proofs in Software Verification

    Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998.

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

    Simulated Trading Mechanismen für speditionsübergreifende Transportplanung

    DFKI, DFKI Technical Memos (TM), Vol. 98-04, 1998.

  6. Petra Funk; Gero Vierke; Hans-Jürgen Bürckert

    A Multi-Agent Perspective on Intermodal Transport Chains

    DFKI, DFKI Technical Memos (TM), Vol. 98-06, 1998.

  7. Thomas Kieninger; Andreas Dengel

    Table Recognition and Labeling Using Intrinsic Layout Features

    In: Proceedings ICAPR. International Conference in Advances in Pattern Recognition (ICAPR), 11/1998.

  8. M. Thulke; Andreas Dengel

    A General Approach to Quality Evaluation of Document Segmentation Results

    In: Proceedings DAS98. IAPR International Workshop on Document Analysis Systems (DAS), Pages 79-88, 11/1998.

  9. K. Kise; M. Iwata; Andreas Dengel; K. Matsumoto

    A Computational Geometric Approach to Text-Line Extraction from Binary Document Images

    In: Proceedings DAS98. IAPR International Workshop on Document Analysis Systems (DAS), Pages 346-355, 11/1998.