Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

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

  1. Bruno Langenstein; Markus Ullmann; Roland Vogt

    The Use of Formal Methods for Trusted Digital Signature Devices

    In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.

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

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

  4. Mathias Bauer; Dietmar Dengler; Markus Meyer; Gabriele Paul

    Instructible Information Agents for Web Mining.

    In: Proceedings of the 2000 International Conference on Intelligent User Interfaces (IUI '2000), pages 21-28. International Conference on Intelligent User Interfaces (IUI), 2000.

  5. Elisabeth Andre; Martin Klesen; Patrick Gebhard; Steve Allen; Thomas Rist

    Integrating Models of Personality and Emotions into Lifelike Characters

    In: Ana Paiva (Hrsg.). Affective Interactions: Towards a New Generation of Computer Interfaces. Human Computer Interaction International Conferences (HCII), Pages 150-165, Lecture Notes in Computer Science (LNCS), Vol. 1814, ISBN 978-3-540-41520-6, Springer, Berlin, Heidelberg, 2000.

  6. Markus Löckelt

    Liliput. Ein parametrisierbarer Constraint-Solver für endliche Wertebereiche und sein Einsatz in der Generierung natürlicher Sprache

    Mastersthesis, Universität des Saarlandes, 2000.

  7. Tilman Becker; Markus Löckelt

    Liliput: a parameterizable finite-domainconstraint solving framework and ist evaluation with natural language generation problems

    In: In TRICS: Techniques foR Implementing Constraintprogramming Systems, a CP 2000 Workshop, Singapore. Techniques for Implementing Constraintprogramming Systems, a CP 2000 Workshop (TRICS), 2000.

  8. Jan Alexandersson; Ralf Engel; Michael Kipp; Norbert Reithinger; Stephan Koch; Uwe Küssner; Manfred Stede

    Modeling Negotiation Dialogs

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 441-451, 2000.

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

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

Jahr