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 111 to 120 of 506.
  1. Hui Shi; Yohei Kurata

    Reasoning on the Patterns of Spatial Arrangments between a Path and a Region-Like Landmarks

    In: Electric Poster Proceedings of GIScience 2008. International Conference on Geographic Information Science (GIScience-2008), September 23-26, Park …

  2. Mihai Codescu; Daniel Găină

    Birkhoff Completeness in Institutions

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

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

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

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

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

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

  8. 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), …

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

  10. Christian Müller; Joan-Isaac Biel; Edward Kim; Daniel Rosario

    Speech-overlapped Acoustic Event Detection for Automotive Applications

    In: Proceedings of the Interspeech 2008. Conference in the Annual Series of Interspeech Events (INTERSPEECH-2008), September 22-26, Brisbane, …