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 41 bis 50 von 80
  1. Tania Avgustinova

    An HPSG-Style Grammar of Bulgarian (for the Purposes of a Grammar-Checker Implementation)

    Final Deliverable Report, Project LATESLAV, Universität des Saarlandes, 1996.

  2. Tania Avgustinova

    Between Lexicon and Syntax Proper

    CLAUS-Report, Universität des Saarlandes, Vol. 80, 9/1996.

  3. Frank Dubiel; Andreas Dengel

    FormClas - OCR-Free Classification of Forms

    In: Proceedings of the International Association for Pattern Recognition Workshop. International Conference on Pattern Recognition (ICPR-96), located …

  4. Andreas Dengel; Frank Dubiel

    Concept Formation from a Set of Uncertain Objects

    In: Proceedings of the IX. International Symposium on Artificial Intelligence. International Symposium on Artificial Intelligence (ISAI-96), Cancún, …

  5. Andreas Dengel; Knut Hinkelmann

    The SPECIALIST BOARD - A Technology Workbench for Document Analysis and Understanding

    In: M. M. Tanik; F. Bastani; D. Gibson; P. Fielding (Hrsg.). Proceedings of the 2nd World Conference on Integrated Design and Process Technology. …

  6. Andreas Dengel; Thomas Kieninger; N. Kuhn

    PASCAL 2000 - Ein prototypisches Projekt zur Integration blinder Menschen in die Büroarbeit

    In: E. Zwierlein (Hrsg.). Handbuch: Integration und Ausgrenzung. Pages 563-573, Luchterland-Verlag, 6/1996.

  7. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

    Mastersthesis, TH-Darmstadt, Germany, 12/1996.

  8. Susanne Biundo; Werner Stephan

    Modelling Planning Domains Systematically

    In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …

  10. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.