Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2000
Remove all filters
Displaying results 71 to 80 of 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. Elisabeth Andre; Thomas Rist; Gerd Herzog

    Neue 'Neue Medien'? Von Multimedia zu Intellimedia-Präsentationssystemen.

    In: Günter G. Voß; Werner Holly; Klaus Boehnke (Hrsg.). Neue Medien im Alltag: Begriffsbestimmungen eines interdisziplinären Forschungsfeldes. Pages 221-233, Leske + Budrich Verlag, 2000.

  4. Thomas Rist; Patrick Brandmeier; Jens Haase

    On the Transcoding of Graphical Representations for Small Screens of Mobile Devices

    In: ARTIFICIAL INTELLIGENCE IN MOBILE SYSTEMS (AIMS) 2000. Workshop on Artificial Intelligence in Mobile Systems (AIMS), 2000.

  5. Tilman Becker

    Patterns in metarules

    In: In Anne Abeille and Owen Rambow,editor: Tree Adjoining Grammars. 2000.

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

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

  8. Hans Uszkoreit; Daniel Flickinger; Walter Kasper; Ivan A. Sag

    Deep Linguistic Analysis with HPSG

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 216-237, Artificial Intelligence, Springer, Berlin, 2000.

  9. Melanie Siegel; Oliver Scherf

    Morphological Parsing of Japanese

    In: Conference Handbook of the 2nd International Conference on Practical Linguistics of Japanese. International Conference on Practical Linguistics of Japanese, San Francisco State University, USA, Pages 116-117, 2000.

  10. Melanie Siegel

    Japanese Honorification in an HPSG Framework

    In: Akira Ikeya; Masahito Kawamori (Hrsg.). Proceedings of the 14th Pacific Asia Conference on Language, Information and Computation, February 15-17. Pacific Asia Conference on Language, Information and Computation (PACLIC), Tokyo, Japan, Pages 289-300, Waseda University International Conference Center, 2000.

Year