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 81 bis 90 von 377
  1. Till Mossakowski

    Hets User Guide

    Department of Computer Science; Universität Bremen, o.A. 2006.

  2. Till Mossakowski

    Monad-Based Logics for Computational Effects

    In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …

  3. Till Mossakowski

    Institutional 2-cells and Grothendieck institutions

    In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …

  4. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

    Structured Formal Development in Isabelle

    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

  5. David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

    Proof General in Eclipse

    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …

  6. Adrian Ulges; Christoph Lampert; Daniel Keysers; Thomas Breuel

    Spatiogram-based Shot Distances for Video Retrieval

    11/2006.

  7. Geert-Jan Kruijff; Hendrik Zender; Patric Jensfelt; Henrik I. Christensen

    Clarification dialogues in human-augmented mapping

    In: Proceedings of the 1st Annual Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-2006), …

  8. Alessandro Vallin; Bernardo Magnini; Danilo Giampiccolo; Lili Aunimo; Christelle Ayache; Petya Osenova; Anselmo Peñas; Maarten de Rijke; Bogdan Sacaleanu; Diana Santos; Richard Sutcliffe

    Overview of the CLEF 2005 Multilingual Question Answering Track

    In: Carol Peters (Hrsg.). Accessing Multilingual Information Repositories. Springer-Verlag Berlin Heidelberg, 2006.

  9. Alejandro Figueroa

    Genetic Algorithms for syntactic and data-driven Question Answering on the Web

    Mastersthesis, Computer Linguistics, 2006.

  10. Paul Buitelaar; Philipp Cimiano; Stefania Racioppa; Melanie Siegel

    Ontology-based Information Extraction with SOBA

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