Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 377
  1. Bastian Blankenburg; Matthias Klusch

    Privacy-Preserving Coalition Forming between Rational Service Agents

    In: A. Günter; Klaus-Dieter Althoff; R. Bergmann; F. Klügl; B. Ludwig; U. Schmid; J. Schneeberger; U. Visser; T. Böttcher (Hrsg.). KI - Künstliche …

  2. Matthias Klusch; M. Rovatsos; T. Payne (Hrsg.)

    Cooperative Information Agents X. Proceedings of the Tenth International Workshop

    International Workshop on Cooperative Information Agents (CIA-2006), September 11-13, Edinburgh, United Kingdom, Lecture Notes in Artificial …

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

    Spatiogram-based Shot Distances for Video Retrieval

    11/2006.

  4. 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), …

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

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

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

  8. Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

    Algebraic-co-algebraic specification in CoCASL

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

  9. Till Mossakowski; Lutz Schröder; Stefan Wölfl

    A Categorical Perspective on Qualitative Constraint Calculi

    In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint …

  10. Till Mossakowski

    Hets User Guide

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