Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1999
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 101.

  1. Christoph Endres; Markus Meyer; Wolfgang Wahlster

    Personal Picture Finder: Ein Internet-Agent zur wissensbasierten Suche nach Personenphotos

    In: Proceedings of Online 99. European Congress Fair for Technical Communication (ONLINE-99), 22nd, Düsseldorf, Germany, Pages 211-232, Online-Verlag, Velbert, 1999.

  2. Matthias Klusch; O. Shehory; G. Weiß (Hrsg.)

    Cooperative Information Agents III. Proceedings of the Third International Workshop

    International Workshop on Cooperative Information Agents (CIA-1999), co-located with IJCAI, July 31 - August 2, Uppsala, Sweden, Lecture Notes in Computer Science (LNCS), Vol. 1652, Springer-Verlag, 1999.

  3. Matthias Klusch (Hrsg.)

    Intelligent Information Agents - Agent-Based Information Discovery and management on the Internet

    ISBN 3540651128, Springer-Verlag, 1999.

  4. Christoph Endres

    The MultiHttpServer -- A Parallel Pull Engine

    DFKI, DFKI Technical Memos (TM), Vol. 99-04, 4/1999.

  5. Barbara Großmann-Hutter; Christian Müller

    Experimentelle Untersuchung von Spracheingaben unter kognitiver Belastung zur Benutzermodellbildung

    In: Tania Jörding (Hrsg.). ABIS-99, Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. GI-Workshop "Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen" (ABIS-1999), September 29-30, Magdeburg, Germany, Otto-von-Guericke University, 1999.

  6. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Saratoga Springs, Pages 217-231, LNAI 1617, Springer, 6/1999.

  7. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.

  8. Dennis Dams; Dieter Hutter; Natalia Sidorova

    Using the INKA prover to automate safety proofs in abstract interpretation - A case study

    In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, 1999.

  9. Dieter Hutter; Alan Bundy

    The Design of the CADE-16 Inductive Theorem Prover Contest

    In: H. Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.

  10. Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel

    VSE: Controlling the Complexity in Formal Software Developments

    In: Dieter Hutter; Werner Stephan; P. Traverso; M. Ullmann (Hrsg.). Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98), Boppard, Germany, Pages 351-358, Lecture Notes in Computer Science (LNCS), Vol. 1641, ISBN 978-3-540-66462-8, Springer-Verlag, Berlin, Heidelberg, 1999.

Jahr