Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1993
Alle Filter entfernen
Zeige Ergebnisse 121 bis 128 von 128

  1. Rainer Hoch; Andreas Dengel

    INFOCLAS - Classifying the Message in Printed Business Letters

    In: Proceedings of the 2nd Annual Symposium on Document Analysis and Information Retrieval. Annual Symposium on Document Analysis and Information …

  2. Ingolf Karls; Gerd Maderlechner; Volkmar Pflug; Stephan Baumann; Achim Weigel; Andreas Dengel

    Segmentation and Recognition of Cursive Handwriting with Improved Structured Lexica

    In: Proceedings 3rd International Workshop on Frontiers in Handwriting Recognition. International Workshop on Frontiers in Handwriting Recognition …

  3. Michael Malburg; Andreas Dengel

    Address Verification in Structured Documents for Automatic Mail Delivery

    In: Proceedings JetPoste93. European Meeting on Postal Technologies (JetPoste), 1st, June 14-16, Nantes, France, Pages 447-454, 6/1993.

  4. Andreas Dengel

    Initial Learning of Document Structure

    In: Proceedings ICDAR'93. International Conference on Document Analysis and Recognition (ICDAR-93), 2nd, October 20-22, Tsukuba, Japan, Pages 86-90, …

  5. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.

  6. Jürgen Cleve; Dieter Hutter

    Guiding equational proofs by attribute functions

    Interner Bericht, 1993.

  7. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

    In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …

  8. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment

    In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

Jahr