Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1996
Remove all filters
Displaying results 51 to 60 of 80.

  1. 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. …

  2. 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.

  3. Tania Avgustinova; Karel Oliva

    Unbounded Dependencies in HPSG Without Traces or Lexical Rules

    CLAUS-Report, Universität des Saarlandes, Vol. 70, 1/1996.

  4. Tania Avgustinova; Karel Oliva

    The Communicative Nature of the Wackernagel Position

    In: Prague School Linguistics Conference. Prague School Linguistics Conference, Prague, 1996.

  5. Günter Neumann

    Interleaving Natural Language Parsing and Generation Through Uniform Processing

    DFKI, DFKI Research Reports (RR), Vol. 96-03, 1996.

  6. Ansgar Bernardi; Bernd Bachmann; Anna-Maria Schoeller

    The IMCOD Project: Integrating Heterogeneous Experts into a Homogeneous Design Assistant

    In: D. Ruland (Hrsg.). Tagungsband CAD'96: Verteilte und intelligente CAD-Systeme. International Connecting People in CAD Research, Education and …

  7. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    On Skolemization in Constrained Logics

    In: Martin C. Golumbic (Hrsg.). Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 18, No. 2, Pages 95-131, Springer, Netherlands, 9/1996.

  8. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

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

  9. 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 …

  10. 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 …

Year