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 61 to 70 of 377.
  1. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Verena Rieser; Jan Schehl

    The SAMMIE corpus of multimodal dialogues with an MP3 player

    In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), …

  2. Jamie A. Ward; Paul Lukowicz; Gerhard Troster; Thad E. Starner

    Activity Recognition of Assembly Tasks Using Body-Worn Microphones and Accelerometers

    In: IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 28, No. 10, Pages 1553-1567, IEEE Computer Society, Washington, DC, USA, …

  3. Paul Lukowicz; Friedrich Hanser; Christoph Szubski; Wolfgang Schobersberger

    Detecting and interpreting muscle activity with wearable force sensors

    In: Proceedings of the 4th International Conference on Pervasive Computing. International Conference on Pervasive Computing (Pervasive-2006), 4th, May …

  4. Jamie A. Ward; Paul Lukowicz; Gerhard Tröster

    Evaluating performance in continuous context recognition using event-driven error characterisation

    In: Proceedings of the Second international workshop on Location- and Context-Awareness. International Workshop on Location- and Context-Awareness …

  5. Till Mossakowski

    Monad-Based Logics for Computational Effects

    In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …

  6. Till Mossakowski

    Institutional 2-cells and Grothendieck institutions

    In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …

  7. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

    Structured Formal Development in Isabelle

    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

  8. David Aspinall; Christoph Lüth; Daniel Winterstein; Ahsan Fayyaz

    Proof General in Eclipse

    In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented …

  9. Stefan Wölfl; Till Mossakowski (Hrsg.)

    Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings

    German Conference on Artificial Intelligence (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, …

  10. Tim Laue; Thomas Röfer

    Getting Upright: Migrating Concepts and Software from Four-Legged to Humanoid Soccer Robots

    In: Enrico Pagello; Changjiu Zhou; Emanuele Menegatti (Hrsg.). Proceedings of the Workshop on Humanoid Soccer Robots in conjunction with the 2006 IEEE …