Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2000
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 171.

  1. Georg Rock; Werner Stephan; Michael Brodski

    Modeling, Specification and Verification of an Emergency Closing System

    In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS), 2000.

  2. Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll

    Verification of a Formal Security Model for Multiapplicative Smart Cards

    In: Computer Security -- Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000). European Symposium on Computer Security (ESORICS), Pages 17-36, LNCS, Vol. 1895, Springer, Berlin, Heidelberg,, 2000.

  3. Tilman Becker; Anne Kilger; Patrice Lopez; Peter Poller

    Multilingual generation for translation in speech-to-speech dialogues and its realization in Verbmobil

    In: Proceedings of ECAI 2000, Berlin, Germany. European Conference on Artificial Intelligence (ECAI), 2000.

  4. Jan Alexandersson; Peter Poller

    Multilingual Summary Generation in a Speech--To--Speech Translation System for Multilingual Dialogues

    In: Proceedings of the International Natural Language Generation Conference 2000 (INLG-2000) ( Israel, June 2000). International Natural Language Generation Conference (INLG), Pages 148-155, 2000.

  5. Franciska de Jong; Jean-Luc Gauvain; Djoerd Hiemstra; Klaus Netter

    Language-Based Multimedia Information Retrieval

    In: Proceedings of the 6th Conference on "Content-Based Multimedia Information Access". Recherche d'Informations Assistee par Ordinateur (RIAO '00). International Conference on Computer-Assisted Information Retrieval (RIAO), Paris, France, 2000.

  6. Ulrich Callmeier

    PET. A Platform for Experimentation with Efficient HPSG Processing Techniques

    In: Journal of Natural Language Engineering (JNLE), Vol. 6, No. 1, Pages 99-108, 2000.

  7. Stefan Agne; Markus Rogger; Jörg Rohrschneider

    Benchmarking of Document Page Segmentation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document and Recognition and Retrieval VII. SPIE Conference on Document Recognition and Retrieval (DRR), January 26-27, San Jose, CA, USA, Pages 165-171, Proceedings of SPIE, Vol. 3967, ISBN 0-8194-3585-6, SPIE- International Society for Optical Engineering, 2000.

  8. Andreas Abecker; Ansgar Bernardi; Michael Sintek

    Proactive Knowledge Delivery for Enterprise Knowledge Management

    In: Günther Ruhe; Frank Bomarius (Hrsg.). Learning Software Organizations - Methodology and Applications. International Conference on Software Engineering and Knowledge Engineering (SEKE-99), 11th, Kaiserslautern, Germany, Pages 103-117, Lecture Notes in Computer Science (LNCS), Vol. 1756/2000, ISBN 978-3-540-41430-8, Springer, Berlin, Heidelberg, 11/2000.

  9. Andreas Abecker; Ansgar Bernardi; Heiko Maus; Michael Sintek; Claudia Wenzel

    Information Supply for Business Processes - Coupling Workflow with Document Analysis and Information Retrieval

    In: Knowledge-Based Systems (KBS), Vol. 13, No. 5, Elsevier, 2000.

  10. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Context-Aware, Proactive Delivery of Task-Specific Knowledge: The KnowMore Project

    In: Information Systems Frontiers (ISF), Vol. 2, No. 3/4, Pages 253-276, Kluwer, 2000.

Jahr