Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 102
  1. 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.

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

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

  4. Heiko Mantel; Christoph Kreitz

    A Matrix Characterization for MELL

    In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in …

  5. Heiko Mantel

    Developing a Matrix Characterization for MELL

    DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.

  6. Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  7. Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  8. Using Semantic Knowledge by Annotating Formulas

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

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