Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 101
  1. 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, …

  2. Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

    Structured Formal Development in VSE II: The Robertino Case Study

    In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …

  3. Künstliche Intelligenz

    In: Brockhaus-Bibliothek “Mensch, Natur, Technik”. Chapter 2, Pages 507-541, Vol. 6, Bibliographisches Institut der F.A. Brockhaus AG, 1999.

  4. Michael Thulke; Volker Margner; Andreas Dengel

    A General Approach to Quality Evaluation of Document Segmentation

    In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Springer Verlag, 1999.

  5. Koichi Kise; Motoi Iwata; Andreas Dengel; Keinosuke Matsumoto

    Text-Line Extraction as Selection of Paths in the Neighbor Graph

    In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Springer Verlag, 1999.

  6. Thomas Kieninger; Andreas Dengel

    A Paper-to-HTML Table Recognition and Analysis System

    In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Pages 255-269, Springer Verlag, …

  7. Michael Thulke; Volker Märgner; Andreas Dengel

    Quality Evaluation of Document Segmentation Results, Precision, and Accuracy

    In: Proceedings ICDAR99. International Conference on Document Analysis and Recognition (ICDAR), Pages 450-454, 9/1999.

  8. Franciska de Jong; Jean-Luc Gauvain; Jurgen den Hartog; Klaus Netter

    OLIVE: Speech-Based Video Retrieval

    In: Proceedings of the European Workshop on Content-Based Multimedia Indexing (CBMI'99), October 25-27. International Workshop on Content-Based …

  9. Eberhard Bertsch; Mark-Jan Nederhof

    Regular Closure of Deterministic Languages

    In: SIAM Journal on Computing, Vol. 29, No. 1, Pages 81-102, 1999.

  10. Eberhard Bertsch; Mark-Jan Nederhof

    On Failure of the Pruning Technique in "Error Repair in Shift-Reduce Parsers"

    In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21, No. 1, Pages 1-10, 1999.