Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 101 bis 110 von 128.
  1. 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, Vol. 16, ISBN 978-3-528-05344-4, Springer, 1993.

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

  3. Stephan Busemann; Karin Harbusch (Hrsg.)

    DFKI Workshop on Natural Language Systems: Reusability and Modularity

    DFKI Workshops, October 23, Saarbrücken, Germany, DFKI Documents (D), Vol. 93-03, DFKI, 1993.

  4. Stephan Busemann

    Towards the Configuration of Generation Systems: Some Initial Ideas

    In: Stephan Busemann; Karin Harbusch (Hrsg.). DFKI Workshop on Natural Language Systems: Reusability and Modularity. DFKI Workshops, October 23, Saarbrücken, Germany, Pages 57-64, DFKI Documents (D), Vol. 93-03, DFKI, 1993.

  5. Stephan Busemann

    Implicit Relationships between Grammar and Control

    In: M. Herweg (Hrsg.). 4. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft. Deklarative und prozedurale Aspekte der Sprachverarbeitung. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL), 4. November 17-19, Hamburg, Germany, Pages 12-17, 1993.

  6. Stephan Busemann

    A Holistic View of Lexical Choice

    In: Helmut Horacek (Hrsg.). New Concepts in Natural Language Generation: Planning, Realization and Systems. Pages 302-308, Frances Pinter, London, 1993.

  7. Jochen Bedersdorfer; Karsten Konrad; Ingo Neis; Oliver Scherf; Jörg Steffen; Michael Wein

    Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen

    In: Harold Boley; François Bry; Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere Entwicklungen der deklarativen KI-Programmierung, September 13-15, Berlin, Germany, Pages 17-30, Research Report, No. RR-93-35, 1993.

  8. Ansgar Bernardi; Zhaohui Wu; Christoph Klauck; Ralf Legleitner

    Manufacturing Process Planning: A Case-Based Approach

    In: Jianping Wu; Jin Yang; Wen Gao; Yamin Li (Hrsg.). Proceedings of Third International Conference for Young Computer Scientists. International Conference for Young Computer Scientists (ICYCS-93), July 15-17, Beijing, China, Pages 2165-2166, ISBN 7-302-00888, Tshinghua University Press, Beijing, China, 7/1993.

  9. Ansgar Bernardi; Ralf Legleitner; Christoph Klauck

    PIM-Skeletal plan-based CAPP

    In: Computers in Industry, Vol. 23, No. 1-2, Pages 87-97, Elsevier Science Publishers B. V. 11/1993.

  10. Zhaohui Wu; Ansgar Bernardi; Christoph Klauck

    Skeletal Plans Reuse: A Restricted Conceptual Graph Classification Approach

    In: Proceedings of Seventh Annual Workshop on Conceptual Graphs. Annual Workshop on Conceptual Graphs, Conceptual Structures: Theory and Implementation, July 8-10, Las Cruces, NM, USA, Pages 322-327, Vol. 794, ISBN 3-540-57454-9, Springer, 1993.