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 91 bis 100 von 572
  1. Attila Reiss; Gustaf Hendeby; Gabriele Bleser; Didier Stricker

    Activity Recognition Using Biomechanical Model Based Pose Estimation

    In: P. Lukowitz; G. Kortuem; K. Kunze (Hrsg.). The 5th European Conference on Smart Sensing and Context. European Conference on Smart Sensing and …

  2. Yong-Ho Yoo; Mohammed Ahmed; Sebastian Bartsch; Frank Kirchner

    Realistic Simulation of Extraterrestrial Legged Robot in Trade-off between Accuracy and Simulation Time

    In: IECON Proceeding (IEEE Xplore). Annual Conference of the IEEE Industrial Electronics Society (IECON-10), 36th, November 7-10, Phoenix, Arizona, …

  3. This is me: Using Ambient Voice Patterns for In-Car Positioning

    In: Proceedings of the 1st International Conference on Ambient Intelligence. European Conference on Ambient Intelligence (AmI-10), International Joint …

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

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

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

  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 …

  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 …