Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1998
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 102

  1. Antonio Krüger; Christoph Stahl

    Graphical Abstraction and 3D-Hypergraphics: Exploring Large Geometrical 3D-Models

    In: Proceedings of Workshop on Combining AI and Graphics for the Interface of the Future. Workshop on Combining AI and Graphics for the Interface of …

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

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

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

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

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

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

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

  9. Stephan Baumann; Jürgen Lichter; Michael Malburg; Heiko Maus; Harald Meyer auf'm Hofe; Claudia Wenzel

    Architektur für ein System zur Dokumentanalyse im Unternehmenskontext - Integration von Datenbeständen, Aufbau- und Ablauforganisation

    DFKI, DFKI Documents (D), Vol. 98-01, 1998.

  10. Stefan Agne; Hans-Günther Hein

    A Pattern Matcher for OCR corrupted Documents and its Evaluation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document Recognition V. DDR Document Recognition and Retrieval (DDR), San Jose, Pages 160-168, …

Jahr