Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 101.
  1. 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.

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

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

  4. Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann

    Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98

    Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.

  5. Eberhard Bertsch; Mark-Jan Nederhof

    Regular Closure of Deterministic Languages

    In: SIAM Journal on Computing, Vol. 29, No. 1, Pages 81-102, 1999.

  6. Eberhard Bertsch; Mark-Jan Nederhof

    On Failure of the Pruning Technique in "Error Repair in Shift-Reduce Parsers"

    In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21, No. 1, Pages 1-10, 1999.

  7. Gregor Erbach; Dagmar Unz; Joanne Capstick

    Interface-Design zur Unterstützung von Selektionsentscheidungen

    In: Werner Wirth; Wolfgang Schweiger (Hrsg.). Selektion im Internet. Westdeutscher Verlag, 1999.

  8. Franciska de Jong; Jean-Luc Gauvain; Jurgen den Hartog; Klaus Netter

    OLIVE: Speech-Based Video Retrieval

    In: Proceedings of the European Workshop on Content-Based Multimedia Indexing (CBMI'99), October 25-27. International Workshop on Content-Based Multimedia Indexing (CBMI), Toulouse, France, Pages 75-80, 1999.

  9. Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Christopher J. Rupp; Karsten L. Worm

    Charting the Depths of Robust Speech Parsing

    In: ACL (Hrsg.). 37th Annual Meeting of the Association for Computational Linguistics (ACLANNUAL '99), June 20-26. Annual Meeting of the Association for Computational Linguistics (ACL), University of Maryland, College Park, USA, Pages 405-412, 1999.

  10. Michael Thulke; Volker Märgner; Andreas Dengel

    Quality Evaluation of Document Segmentation Results, Precision, and Accuracy

    In: Proceedings ICDAR99. International Conference on Document Analysis and Recognition (ICDAR), Pages 450-454, 9/1999.