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 31 bis 40 von 171
  1. Catholijn M. Jonker; Matthias Klusch; Jan Treur

    Design of Collaborative Information Agents

    In: Proceedings of the 4th International Workshop on Cooperative Information Agents IV, The Future of Information Agents in Cyberspace. International …

  2. The Use of Formal Methods for Trusted Digital Signature Devices

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

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

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

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

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

  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 …

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