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 111 bis 120 von 572
  1. 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 …

  2. Schlussbericht des Projektes SAMS

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

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

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

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

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

  7. Björn Forcher; Thomas Roth-Berghofer; Michael Sintek; Andreas Dengel

    Explanation-Aware Software Design of the Semantic Search Engine KOIOS

    In: Thomas Roth-Berghofer; Nava Tintarev; David B. Leake; Daniel Bahls (Hrsg.). Explanation-aware Computing ExaCt 2010, Proceedings of the 5th …

  8. Martin Atzmüller; Thomas Roth-Berghofer

    Towards Explanation-Aware Social Software: Applying the Mining and Analysis Continuum of Explaining

    In: Thomas Roth-Berghofer; Nava Tintarev; David B. Leake; Daniel Bahls (Hrsg.). Explanation-aware Computing ExaCt 2010, Proceedings of the 5th …

  9. Design of a Versatile AUV for High Precision Visual Mapping and Algorithm Evaluation

    In: 2010 IEEE/OES Autonomous Underwater Vehicles (AUV). IEEE/OES Autonomous Underwater Vehicles (AUV-2010), Mapping the Worlds Oceans, September 1-3, …

  10. Paul Libbrecht

    Re-use? Is this Re-use?

    In: U. Kortenkamp (Hrsg.). Proceedings of I2GEO conference. Interoperable Interactive Geometry Conference (I2GEO-2010), located at CADGME / I2GEO, …