Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2000
Remove all filters
Displaying results 81 to 90 of 171.

  1. Ralph Schäfer; Mathias Bauer

    Ein intelligenter Ansatz zur Personalisierung von Webseiten mit Informationsdiensten.

    In: M. E. Müller, editor. Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Institut für Semantische Informationsverarbeitung, Universität Osnabrück. GI-Workshop "Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen" (ABIS), 2000.

  2. Mathias Bauer; Christoph Clodo; Eric Schwarzkopf

    Einsatz adaptiver Techniken für die UM2001.

    In: In M. E. Müller, editor. Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Institut für Semantische Informationsverarbeitung, Universität Osnabrück. GI-Workshop "Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen" (ABIS), 2000.

  3. Anthony Jameson

    Empirically based decision-theoretic methods for situated interaction.

    In: A. Schmidt (Ed.), Situated interaction in ubiquitous computing: Proceedings of a workshop at the CHI 2000 Conference on Human Factors in Computing Systems, The Hague, Netherlands, April 2000. ACM International Conference on Human Factors in Computing Systems (CHI), Pages 72-76, 2000.

  4. Jan Alexandersson; Peter Poller; Michael Kipp

    Generating Multilingual Dialog Summaries and Minutes

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

  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 User Interfaces (IUI), 2000.

  6. 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, ACM Press. International Conference on Intelligent User Interfaces (IUI), 2000.

  7. Andreas Klüter; Alassane Ndiaye; Heinz Kirchmann

    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.

  8. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.

  9. Dieter Hutter

    Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

  10. Dieter Hutter

    Management of Change in Verification Systems

    In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software Engineering (ASE), Pages 23-34, IEEE Computer Society, 2000.

Year