Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 81 bis 90 von 572.
  1. Schlussbericht des Projektes SAMS

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

  2. 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 and Symbolic Computation (AISC-2010), 10th, located at Intelligent Computer Mathematics 2010 (CICM 2010), July 5-10, Paris, France, Pages 34-48, Lecture Notes in Computer Science (LNCS), Vol. 6167, Springer, 2010.

  3. 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 Safety, Reliability and Security (SAFEComp-2010), September 14-17, Vienna, Austria, Pages 347-360, Lecture Notes in Computer Science (LNCS), Vol. 6351, Springer, 2010.

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

  5. 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 Lissabon, 8/2010.

  6. 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 International ExaCt Workshop. International Workshop on Explanation-aware Computing (ExaCt-2010), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, Pages 13-24, University of Lissabon, Portugal, 8/2010.

  7. 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 International ExaCt Workshop. International Workshop on Explanation-aware Computing (ExaCt), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, Pages 1-12, University of Lissabon, 8/2010.

  8. 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, Monterey, CA, USA, ISBN 978-1-61284-979-9, IEEE, 2010.

  9. 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, July 2-3, Hluboka nad Vltavou, Czech Republic, Cermat, 7/2010.

  10. Paul Libbrecht

    Notations Around the World:Census and Exploitation

    In: Serge Autexier; Jacques Calmet; David Delahaye; Patrick D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), 9th, located at Conference on Intelligent Computer Mathematics, July 8-9, Paris, France, Pages 398-410, Lecture Notes in Artificial Intelligence (LNAI), Vol. 6167/2010, ISBN 3-652-14127-7, Springer Verlag, 7/2010.