Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 71 to 80 of 171.
  1. 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, …

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

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

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

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

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

  7. Ralf Engel

    CHUNKY: An Example Based Machine Translation System

    In: 6th International Conference on Spoken Language Processing (ICSLP-2000), Vol.4,. International Conference on Spoken Language Processing (ICSLP), …

  8. Mathias Bauer; Dietmar Dengler; Gabriele Paul

    Communication between Trainer and Agent in Programming by Demonstration

    In: M. Bauer and C. Rich, editors, Learning How to Do Things: Papers from the 2000 AAAI Fall Symposium, North Falmouth, MA, USA. AAAI Fall Symposium, …

  9. Tilman Becker; Joshi Aravind; Owen Rambow

    Complexity of scrambling: A new twist to the competence/ performance distinction

    In: In Anne Abeille and Owen Rambow,editor: Tree Adjoining Grammars. 2000.

  10. Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer

    Creating an empirical basis for adaptation decisions.

    In: H. Lieberman (Ed.), IUI 2000: International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces …