Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 101 bis 110 von 377.
  1. 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 Programming, Systems, Languages, and Applications, located at OOPSLA 2006, October 22-26, Portland, OR, USA, ACM Press, 2006.

  2. Stefan Wölfl; Till Mossakowski (Hrsg.)

    Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings

    German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, ISBN 3-88722-666-6, 2006.

  3. Alejandro Figueroa

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

    Mastersthesis, Computer Linguistics, 2006.

  4. Haider Ali; Christoph Lampert; Thomas Breuel

    Satellite Tracks Removal in Astronomical Images

    In: Progress in Pattern Recognition, Image Analysis and Applications, 11th Iberoamerican Congress on Pattern Recognition, CIARP 2006. Iberoamerican Congress on Pattern Recognition (CIARP), Pages 892-901, Vol. LNCS, Springer, 2006.

  5. Rolf-Hendrik van Lengen; Paul Marrow; Thies Bähr; Hans Hagen; Erwin Bonsma; Cefn Hoile

    Component Based Visualization of DIET Applications

    In: Georges-Pierre Bonneau; Thomas Ertl; Gregory M. Nielson (Hrsg.). Scientific Visualization: The Visual Extraction of Knowledge from Data. Pages 367-384, Mathematics and Visualization, ISBN 3-540-26066-8, ISBN, 2006.

  6. H. Schuldt; R. Möller; Matthias Klusch; Andreas Gerber

    Next Generation Applications in Healthcare Digital Libraries using Semantic Service Composition and Coordination

    In: R. Procter; P. A. Bath (Hrsg.). Health Informatics Journal, Vol. 12, Pages 107-119, SAGE publications, 2006.

  7. Josenildo Costa da Silva; Matthias Klusch

    Inference on Distributed Data Clustering

    In: B. Grabot (Hrsg.). International Journal Engineering Applications of Artificial Intelligence, Vol. 19, No. 4, Pages 363-369, Elsevier Science Publishers B. V, 2006.

  8. 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 Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 1/2006, Pages 18-24, BöttcherIT, 2006.

  9. 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 Intelligence (LNAI), Vol. 4149, Springer-Verlag, 2006.

  10. Tim Schwartz; Dominikus Heckmann; Jörg Baus

    Sharing Sensor Data in Instrumented Environments

    In: Proceedings of The Workshop on Ubiquitous Knowledge Discovery for Users. Workshop on Ubiquitous Knowledge Discovery for Users (UKDU-06), located at 7th European Conference on Machine Learning & 10th European Conference on Principles and Practice of Knowledge Discovery in Databases, September 22, Berlin, Germany, Pages 81-88, 9/2006.