Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1998
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 102.

  1. Wojciech Skut; Hans Uszkoreit; Thorsten Brants; Brigitte Krenn

    A Linguistically Interpreted Corpus of German Newspaper Text

    In: Proceedings of the 10th European Summer School in Logic, Language and Information (ESSLLI'98). Workshop on Recent Advances in Corpus Annotation, August 17-28. European Summer School in Logic, Language and Information (ESSLLI), 1998.

  2. Marc Schröder

    L'expression audiovisuelle de l'amusement - premières expériences audiovisuelles

    Mastersthesis, Université Stendhal, Sciences du Langage, 1998.

  3. Marc Schröder; Véronique Aubergé; Marie-Agnès Cathiard

    Can we hear Smiles?

    In: Proceedings of the 5th International Conference of Spoken Language Processing (ICSLP'98). International Conference on Spoken Language Processing (ICSLP), 1998.

  4. Günter Neumann

    Interleaving Natural Language Parsing and Generation Through Uniform Processing

    In: Artificial Intelligence (AIJ), Vol. 99, Pages 121-163, 1998.

  5. Günter Neumann

    Automatic Extraction of Stochastic Lexicalized Tree Grammars from Treebanks

    In: Proceedings of the 4th Workshop on Tree-Adjoining Grammars and Related Frameworks (TAG+4), August 1-3. Colloque International sur les Grammaires d'Arbres Adjoints (TAG+-4), 1998.

  6. Dieter Hutter

    Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on Abstraction, Reformulation, and Approximation (SARA), Asimolar, Pacific Grove, CA, USA, Pages 72-78, 1998.

  7. Dieter Hutter

    Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), Bremen, Germany, Pages 153-164, Springer-Verlag, LNAI 1504, Berlin, 1998.

  8. Dieter Hutter

    Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  9. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning (EWCBR 98). European Workshop on Case Based Reasoning (EWCBR), Pages 76-87, LNCS, Vol. 1488, Springer, Berlin, Heidelberg,, 1998.

  10. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages 397-411, LNCS, Vol. 1421, Springer, 1998.

Jahr