Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 111 to 120 of 377.
  1. Thierry Declerck; Asunción Gómez Pérez; Ovidiu Vela; Zeno Gantner; David Manzano-Macho

    Multilingual Lexical Semantic Resources for Ontology Translation

    In: Proceedings of LREC 2006. International Conference on Language Resources and Evaluation (LREC), 2006.

  2. Thierry Declerck

    SynAF: Towards a Standard for Syntactic Annotation

    In: Proceeedings of LREC 2006. International Conference on Language Resources and Evaluation (LREC), 2006.

  3. Thierry Declerck; Stephan Busemann; Herwig Rehatschek; Gert Kienast

    Annotating text using the Linguistic Description Scheme of MPEG-7: The DIRECT-INFO Scenario

    In: Proceedings of NLPXML-2006: Multi-dimensional Markup in Natural Language Processing. NLP and XML Workshop, 2006.

  4. Christian Bering; Ulrich Schäfer

    JTaCo & SProUTomat: Automatic Evaluation and Testing of Multilingual Language Technology Resources and Components

    In: Proceedings of the LREC-2006 workshop on quality assurance and quality measurement for language and speech resources. International Conference on …

  5. Brigitte Jörg; Jure Ferlez; Edward Grabczewski; Mitja Jermol

    IST World: European RTD Information and Service Portal

    In: Anne Asserson (Hrsg.). 8th international Conference on Current Research Information Systems. International Conference on Current Research …

  6. Paul Buitelaar; Thomas Eigner; Gregory Gulrajani; Alexander Schutz; Melanie Siegel; Nicolas Weber; Philipp Cimiano; Günter Ladwig; Matthias Mantel; Honggang Zhu

    Generating and Visualizing a Soccer Knowledge Base

    In: Frank Keller; Gabor Proszeky (Hrsg.). Proceedings of the EACL06 Demo Session. Conference of the European Chapter of the Association for …

  7. Lutz Schröder; Dirk Pattinson

    PSPACE Bounds for Rank 1 Modal Logics

    In: Rajeev Alur (Hrsg.). Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science …

  8. Lutz Schröder

    A Finite Model Construction for Coalgebraic Modal Logic

    In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of …

  9. Lutz Schröder

    The HasCASL Prologue - Categorical Syntax and Semantics of the Partial $lambda$-calculus

    In: Theoretical Computer Science, Vol. 353, Pages 1-25, 2006.

  10. Till Mossakowski; Serge Autexier; Dieter Hutter

    Development Graphs -- Proof Management for Structured Specifications

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.