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 81 to 90 of 506.
  1. i2home - Towards a universal home environment for elderly and disabled

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  2. Sven Gehring; Martin Gisch

    The Privacy Badge Revisited - Enhancement of a Privacy-Awareness User Interface for Small Devices

    In: Workshop on Security and Privacy Issues in Mobile Phone Use. Workshop on Security and Privacy Issues in Mobile Phone Use (SPMU-08), located at …

  3. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

    In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.

  4. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …

  5. Dominik Dietrich; Ewaryst Schulz

    CRStL: A Declarative Language for the Encoding of Proof Techniques

    In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, …

  6. Harm op den Akker; Christian Husodo Schulz

    Exploring Features and Classifiers for Dialogue Act Segmentation

    In: Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction (MLMI-08), 5th International Workshop, September 8-10, …

  7. Udo Frese; Tim Laue

    (A) VISION FOR 2050: The Road Towards Image Understanding for a Human-Robot Soccer Match

    In: Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics. International Conference on Informatics in …

  8. S. Huang; Z. Wang; G. Dissanayake; Udo Frese

    Iterated SLSJF: A Sparse Local Submap Joining Algorithm with Improved Consistency

    In: Proceedings of the Australasian Conference on Robotics and Automation. Australasian Conference on Robotics and Automation (ACRA-08), December 3-5, …

  9. M. Gissler; Udo Frese; M. Teschner

    Exact Distance Computation for Deformable Objects

    In: Proceedings of the Computer Animation and Social Agents 2008 Conference. Annual Conference on Computer Animation and Social Agents (CASA-2008), …

  10. Martin Klima; Miroslav Macik; Elena Urdaneta; Cristina Buiza; Eduardo Carrasco; Gorka Epelde; Jan Alexandersson

    User Interfaces for the Digital Home on the Basis of Open Industrial Standards

    In: Proceedings of AMIF 2008. Ambient Intelligence Forum (AMIF-2008), October 15-16, Hradec Králové, Czech Republic, 10/2008.