Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2000
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 171.

  1. Thomas Rist; Patrick Brandmeier; Gerd Herzog; Elisabeth Andre

    Getting the Mobile Users in: Three Systems that Support Collaboration in an Environment with Heterogeneous Communication Devices

    In: Proceedings of the Working Conference on Advanced Visual Interfaces AVI 2000, pp 250-254. International Working Conference on Advanced Visual Interfaces (AVI), 2000.

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

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

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

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

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

  7. 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 Computer Security (ESORICS), Toulouse, Pages 238-254, LNCS 1895, Springer, 10/2000.

  8. 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 Computer Society, 7/2000.

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

  10. 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 Society Conference 2000, FLAIRS-2000. International FLAIRS Conference (FLAIRS), Orlando, Pages 341-345, AAAI Press, 2000.

Jahr