Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1999
Alle Filter entfernen
Zeige Ergebnisse 71 bis 80 von 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. Hans Uszkoreit; Rudolf Stichweh; Heinz-Ulrich Reyer

    Memorandum zu einem Institut für Evolutionswissenschaft. Suchprozesse für innovative Fragestellungen in der Wissenschaft

    Vol. 1, Werner Reimers Stiftung, 1999.

  6. Hans Uszkoreit; Brigitte Krenn (Hrsg.)

    Linguistically Interpreted Corpora. Proceedings of the Workshop LINC-1999 at the 9th Conference of the European Chapter of the Association of Computational Linguistics

    International Workshop on Linguistically Interpreted Corpora (LINC), 1999.

  7. Hans Uszkoreit

    Sprachtechnologie für die Wissensgesellschaft: Herausforderungen und Chancen für die Computerlinguistik und die theoretische Sprachwissenschaft

    In: Geisteswissenschaften und Innovationen. Pages 137-174, Physica Verlag, 1999.

  8. Wojciech Skut; Hans Uszkoreit; Thorsten Brants

    Syntactic Annotation of a German Newspaper Corpus

    In: ATALA sur le Corpus Annotés pour la Syntaxe Treebanks, June 18-19. Les journées d'Etude de l'ATALA, Pages 69-76, 1999.

  9. Marc Schröder

    Zur Machbarkeit von Synthese emotionaler Sprache ohne Modellierung der Stimmqualität

    In: Elektronische Sprachsignalverarbeitung. Pages 222-229, 1999.

  10. Marc Schröder

    Can Emotions be Synthesized without Controlling Voice Quality?

    In: PHONUS, Vol. 4, Pages 37-55, 1999.

Jahr