Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 102.
  1. 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 …

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

  3. 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, …

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

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

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

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

  8. Klaus Netter; Djoerd Hiemstra; Franciska de Jong (Hrsg.)

    Language Technology in Multimedia Information Retrieval. Proceedings of the 14th Twente Workshop on Language Technology (TWLT 14), December 7-8

    Twente Workshop on Language Technology (TWLT), University of Twente, Enschede, The Netherlands, 1998.

  9. Klaus Netter; Susan Armstrong; Tibor Kiss; Judith Klein; Sabine Lehmann; David Milward; Sylvie Regnier-Prost; Reinhard Schäler; Tillmann Wegst

    DiET - Diagnostic and Evaluation Tools for Natural Language Application

    In: Proceedings of the 1st International Conference on Language Resources and Evaluation. International Conference on Language Resources and …

  10. Klaus Netter

    POP-EYE and OLIVE - Human Language as the Medium for Cross-Lingual Multimedia Information Retrieval

    In: Proceedings of the 2nd International Conference on Quality and Standards in Audiovisual Language Transfer. Languages and the Media. International …