Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 101
  1. Georg Rock; Werner Stephan; Andreas Wolpers; Michael Balser; Wolfgang Reif; Stefan Scheer

    Structured Formal Development in VSE II: The Robertino Case Study

    In: Francesca Saglietti; Wolfgang Goerigk (Hrsg.). Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German …

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

  3. Hui Xu

    English-Style and Chinese-Style Topic: A Uniform Semantic Analysis

    In: 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific Asia Conference on Language, …

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

  5. Marc Schröder

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

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

  6. Marc Schröder

    Can Emotions be Synthesized without Controlling Voice Quality?

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

  7. Intelligent Agents and Electronic Commerce

    In: Proceedings of International Symposium IMPACT-99. International Symposium on The Impact of Agent Technology on Telecommunication (IMPACT-99), …