Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 71 bis 80 von 171
  1. 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.

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

  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 …

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

    Unwinding Possibilistic Security Properties

    In: F.Cuppens; Y.Deswarte; D.Gollmann; M.Waidner (Hrsg.). European Symposium on Research in Computer Security (ESORICS). European Symposium on …

  6. Heiko Mantel

    Possibilistic Definitions of Security -- An Assembly Kit --

    In: Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cambridge, Pages 185-199, IEEE …

  7. Heiko Mantel; Felix Gärtner

    A Case Study in the Mechanical Verification of Fault Tolerance

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), Vol. 12, No. 4, Pages 473-488, Taylor & Francis, 10/2000.

  8. Heiko Mantel; Felix Gärtner

    A Case Study in the Mechanical Verification of Fault Tolerance

    In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research …

  9. Towards an efficient management of change in an evolutionary formal software development

    In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …

  10. Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

    VSE: Formal Methods Meet Industrial Needs

    In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.