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 101 to 110 of 506.
  1. Lutz Schröder

    Bootstrapping Inductive and Coinductive Types in HasCASL

    In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, 2008.

  2. Thomas Roth-Berghofer; Daniel Bahls

    Explanation Capabilities of the Open Source Case-Based Reasoning Tool myCBR

    In: Miltos Petridis; Nirmalie Wiratunga (Hrsg.). Proceedings of the thirteenth UK Workshop on Case-Based Reasoning. UK Workshop on Case-Based …

  3. Thomas Roth-Berghofer; Stefan Schulz; Daniel Bahls; David B. Leake (Hrsg.)

    Proceedings of the ECAI-08 Workshop on Explanation-aware Computing ExaCt2008

    International Workshop on Explanation-aware Computing (ExaCt-2008), located at ECAI 2008, July 21-25, Patras, Greece, University of Patras, 7/2008.

  4. Thomas Roth-Berghofer; Florian Mittag

    ReduxExp: A Justification-based Explanation-Support Server.

    In: Miltos Petridis; Frans Coenen; Max Bramer (Hrsg.). Research and Development in Intelligent Systems XXV. SGAI International Conference on …

  5. Thomas Roth-Berghofer; Daniel Bahls

    Code Tagging and Retrieval with myCBR

    In: Miltos Petridis; Frans Coenen; Max Bramer (Hrsg.). Research and Development in Intelligent Systems XXV. SGAI International Conference on …

  6. Syed Saqib Bukhari; Faisal Shafait; Thomas Breuel

    Segmentation of Curled Textlines using Active Contours

    In: Proceedings of Eight IAPR Workshop on Document Analysis Systems. IAPR International Workshop on Document Analysis Systems (DAS-08), September …

  7. Tim Laue; Thomas Röfer

    SimRobot - Development and Applications

    In: E. Menegatti (Hrsg.). Workshop Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR …

  8. Michael Zoellner; Alain Pagani; Yulian Pastarmov; Harald Wuest; Didier Stricker

    Reality Filtering: A Visual Time Machine in Augmented Reality

    In: M. Ashley; S. Hermon; A. Proenca; K. Rodriguez-Echavarria (Hrsg.). Proceedings of the 9th International Symposium on Virtual Reality, Archaeology …

  9. Ansgar Bernardi; Stefan Decker; Ludger van Elst; Gunnar Aastrand Grimnes; Tudor Groza; Siegfried Handschuh; Mehdi Jazayeri; Cédric Mesnage; Knud Möller; Gerald Reif; Michael Sintek; Leo Sauermann

    The Social Semantic Desktop: A New Paradigm Towards Deploying the Semantic Web on the Desktop

    In: Jorge Cardoso; Miltiadis D. Lytras (Hrsg.). Semantic Web Engineering in the Knowledge Society. Chapter XII, Pages 290-312, IGI Global, 2008.