Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 102.
  1. Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  2. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning (EWCBR 98). European Workshop on Case Based Reasoning (EWCBR), Pages 76-87, LNCS, Vol. 1488, Springer, Berlin, Heidelberg,, 1998.

  3. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages 397-411, LNCS, Vol. 1421, Springer, 1998.

  4. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, Cottbus, Germany, Pages 125-135, Shaker Verlag, Aachen, 1998.

  5. Andreas Wolpers; Werner Stephan

    Modular Verification of Programmable Logic Controllers with TLA

    In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information Control in Manufacturing (INCOM), Pages 121-126, 1998.

  6. Jan Alexandersson; Bianka Buschbeck-Wolf; Tsutomu Fujinami; Michael Kipp; Stephan Koch; Elisabeth Maier; Norbert Reithinger; Birte Schmitz; Melanie Siegel

    Dialogue Acts in VERBMOBIL-2 - Second Edition

    Verbmobil Report, German Research Center for Artificial Intelligence (DFKI), Vol. 226, 1998.

  7. Franciska de Jong; Klaus Netter

    OLIVE: Speech-Based Video Retrieval

    In: Djoerd Hiemstra; Franciska de Jong; Klaus Netter (Hrsg.). Proceedings of the 14th Twente Workshop on Language Technology (TWLT 14). Language Technology in Multimedia Information Retrieval, December 7-8. Twente Workshop on Language Technology (TWLT), University of Twente, Enschede, The Netherlands, Pages 187-188, 1998.

  8. Joanne Capstick; Abdel Kader Diagne; Gregor Erbach; Hans Uszkoreit; Francesco Cagno; Giovanni Gadaleta; Juan A. Hernandez; René Korte; Anne Leisenberg; Manfred Leisenberg; Oliver Christ

    MULINEX - Multilingual Web Search and Navigation

    In: International Conference on Natural Language Processing and Industrial Applications. International Conference on Natural Language Processing and Industrial Applications (NLP+IA-98), August 18-21, Moncton, NB, Canada, 1998.

  9. Hans-Jürgen Bürckert; Gero Vierke

    Simulated Trading Mechanismen für speditionsübergreifende Transportplanung

    DFKI, DFKI Technical Memos (TM), Vol. 98-04, 1998.

  10. Petra Funk; Gero Vierke; Hans-Jürgen Bürckert

    A Multi-Agent Perspective on Intermodal Transport Chains

    DFKI, DFKI Technical Memos (TM), Vol. 98-06, 1998.