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 203
  1. Maintenance of Formal Software Developments by Stratified Verification

    In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for …

  2. Klaus Fischer; Dieter Hutter

    Proceedings of the 2. International Workshop on Security of Mobile Multiagent Systems

    DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI …

  3. Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay

    Workshop on Evolutionary Formal Software Development

    Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.

  4. Claudia Soria; Niels Ole Bernsen; Niels Cadée; Jean Carletta; Laila Dybkjaer; Stefan Evert; Ulrich Heid; Amy Isard; Mykola Kolodnytsky; Christoph Lauer; Wolfgang Lezius; Lucas P.J.J. Noldus; Vito Pirrelli; Norbert Reithinger; Andreas Vögele

    Advanced Tools for the Study of Natural Interactivity

    In: Proceedings of the Third International Conference on Language Resources and Evaluation. International Conference on Language Resources and …

  5. L. Ardissono; A. Goy; M. Holland; D. Jannach; Ralph Schäfer; M. Zanker; R. Simeoni

    Personalised Configuration of Products and Services in Co-operating Markets

    In: Proceedings Sixth International Conference on Knowledge-Based Intelligent Information & Engineering Systems. International Conference on …

  6. Witold Abramowicz; Jakub Piskorski

    Information Extraction from Free Text Business Documents

    In: Proceedings of IRMA - Information Resources Management Association International Conference, May 19-22. Information Resources Management …

  7. Ulrich Callmeier

    Preprocessing and Encoding Techniques in PET

    In: Stephan Oepen; Daniel Flickinger; Jun-ichi Tsujii; Hans Uszkoreit (Hrsg.). Collaborative Language Engineering. A Case Study in Efficient …

  8. Franz Beil; Detlef Prescher; Helmut Schmid; Sabine Schulte im Walde

    Evaluation of the Gramotron Parser for German

    In: Proceedings of the LREC Workshop: Beyond PARSEVAL, May 29-31. International Conference on Language Resources and Evaluation (LREC), Las Palmas, …