Skip to main content Skip to main navigation

Publications

Displaying results 21 to 30 of 102.
  1. Brockhaus: Die Enzyklopädie (verschiedene Beiträge)

    In: Bibliographisches Institut der F.A. Brockhaus AG (Hrsg.). Brockhaus: Die Enzyklopädie. Bibliographisches Institut der F.A. Brockhaus AG, Leipzig; Mannheim, 1998.

  2. Frank Dubiel; Andreas Dengel

    FormClas - OCR-Free Classification of Forms

    In: Jonathan J. Hull; S. Liebowitz (Hrsg.). Document Analysis Systems II. Pages 189-208, Series in Machine Perception and Artificial Intelligence, Vol. 29, World Scientific Publishing Co. Inc. Singapore, 1998.

  3. D. Y. Lee; Andreas Dengel

    Document Analysis and Learning

    In: J.J. Hull; S. Liebowitz (Hrsg.). Document Analysis Systems II. Pages 509-511, World Scientific Publishing Co. Inc. 1998.

  4. Towards Multilingual Protocol Generation for Spontaneous Speech Dialogue

    In: Proceedings of the International Workshop on Natural Language Generation 1998. International Natural Language Generation Conference (INLG-98), August 5-7, Niagara On The Lake, Canada, 8/1998.

  5. 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 Artificial Intelligence, European Workshop (JELIA), Dagstuhl, Pages 169-183, LNAI 1489, Springer, 10/1998.

  6. Heiko Mantel

    Developing a Matrix Characterization for MELL

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

  7. 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 Conference on Artificial Intelligence (KI), Bremen, Springer Verlag, LNCS 1504, 1998.

  8. Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on Abstraction, Reformulation, and Approximation (SARA), Asimolar, Pacific Grove, CA, USA, Pages 72-78, 1998.

  9. Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), Bremen, Germany, Pages 153-164, Springer-Verlag, LNAI 1504, Berlin, 1998.