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 51 to 60 of 572.
  1. Marko Brunzel

    Ontology Learning from semi-structured Web documents

    PhD-Thesis, DFKI, 2010.

  2. Horacio Saggion; Thierry Declerck; Kalina Bontcheva

    Semantic Analysis of Textual Input

    In: Ron S. Kenett; Yossi Raanan. Operational Risk Management -- A practical approach to intelligent data analysis. Chapter 4, ISBN 9780470747483, …

  3. Markus Löchtefeld; Sven Gehring; Johannes Schöning; Antonio Krüger

    PINwI - Pedestrian Indoor Navigation without Infrastructure

    In: NordiCHI 2010: Proceedings of the 6th Nordic Conference on Human-Computer Interaction. Nordic Conference on Human-Computer Interaction …

  4. Schlussbericht des Projektes SAMS

    Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI Research Reports (RR), Vol. 10-01, 2010.

  5. Maksym Bortin; Christoph Lüth

    Structural Formal Development with Quotient Types in Isabelle/HOL

    In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence …

  6. Dennis Walter; Holger Täubig; Christoph Lüth

    Experiences in Applying Formal Verification in Robotics

    In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer …

  7. David Aspinall; Ewen Denney; Christoph Lüth

    Tactics for Hierarchical Proofs

    In: Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.

  8. Thomas Roth-Berghofer; Nava Tintarev; David B. Leake; Daniel Bahls (Hrsg.)

    Explanation-aware Computing ExaCt 2010, Proceedings of the 5th International ExaCt Workshop

    International Workshop on Explanation-aware Computing (ExaCt-2010), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, University of …