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 111 bis 120 von 171
  1. Andreas Abecker; Ansgar Bernardi; Andreas Dengel; Ludger van Elst; Michael Malburg; Michael Sintek; Sylvio Tabor; Achim Weigel; Claudia Wenzel

    FRODO: A Framework for Distributed Organizational Memories

    Project Proposal, DFKI GmbH Kaiserslautern, 2000.

  2. Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

    Holonic Transport Scheduling with TeleTruck

    In: Applied Artificial Intelligence, Vol. 14, No. 7, Pages 697-725, 2000.

  3. The Verbmobil Generation Component VM-GECO

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

  4. Elisabeth Andre; Gerd Herzog; Thomas Rist; Kim Binsted; Kumiko Tanaka-Ishii; Sean Luke

    Three RoboCup Simulation League Commentator Systems.

    In: AI Magazine, Vol. 21, No. 1, AAAI, 2000.

  5. Mathias Bauer; Dietmar Dengler; Gabriele Paul

    Trainable Information Agents for the Web.

    In: H. Lieberman, editor, Proceedings of the 2000 International Conference on Intelligent User Interfaces (IUI '2000), pages 21-28, New Orleans, USA, …

  6. Verbmobil From a Software Engineering Point of View: System Design and Software Integration

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation, Springer, Series: Artificial Intelligence. Pages 637-660, 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 …

  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 …

  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 …