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. Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

  2. Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

    Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

    In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, 2000.

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

  4. Dieter Hutter

    Annotated Reasoning

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

  5. Frank Wittig; Anthony Jameson

    Exploiting qualitative knowledge in the learning of conditional probabilities of Bayesian networks.

    In: Craig Boutilier; Moisés Goldszmidt (Hrsg.). UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence. Conference in Uncertainty in Artificial Intelligence (UAI-2000), June 30 - July 3, Stanford, CA, USA, Pages 644-652, Morgan Kaufmann, 2000.

  6. Tilman Becker; Dominikus Heckmann

    Efficient parsing of mildly context-sensitve RMs

    In: Proceedings of the Sixth International Workshop on Parsing Technologies, IWPT2000. International Conference on Parsing Technologies (IWPT), 2000.

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

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

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

  10. Norbert Reithinger; Michael Kipp; Ralf Engel; Jan Alexandersson

    Summarizing Multilingual Spoken Negotiation Dialogues

    In: Proceedings of ACl-2000, 2000, Pages 310-317. American Conference Institute Conferences (ACI), 2000.

Year