Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2010
Remove all filters
Displaying results 61 to 70 of 572.

  1. Felix Sasaki

    The Multilingual Web

    Presentation at WebTech 2010, 10/2010.

  2. Felix Sasaki; Christian Lieske

    XLIFF and ITS: A secret marriage

    1st XLIFF International Symposium, 9/2010.

  3. Ingmar Steiner

    Observations on the dynamic control of an articulatory synthesizer using speech production data

    PhD-Thesis, Saarland University, SciDok, 8/2010.

  4. Gustaf Hendeby; Gabriele Bleser; Ilias Lamprinos; Didier Stricker

    Healthy Aging using Physical Activity Monitoring

    In: AALIANCE conference 2010. AALIANCE conference, March 11-12, Malaga, Spain, 2010.

  5. Attila Reiss; Gustaf Hendeby; Gabriele Bleser; Didier Stricker

    Activity Recognition Using Biomechanical Model Based Pose Estimation

    In: The 5th European Conference on Smart Sensing and Context 2010. European Conference on Smart Sensing and Context (EuroSSC-05), 5th, November 14-16, Passau, Germany, Springer, 2010.

  6. Christoph Lüth

    Schlussbericht des Projektes SAMS

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

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

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

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

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

Year