Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2008
Remove all filters
Displaying results 111 to 120 of 506.

  1. Yohei Kurata; Hui Shi

    RfDL: Models for Capturing Directional and Topological Characteristics of Path-Landmark Arrangements

    In: Nico Van de Weghe; Roland Billen; Bart Kuijpers; Peter Bogaert (Hrsg.). International Workshop on Moving Objects: From Natural to Formal Language. International Workshop on Moving Objects, located at GIScience 2008, September 23, Park City, UT, USA, 2008.

  2. 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 City, UT, USA, 2008.

  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 208, Proceedings. Conferences on Intelligent Computer Mathematics (CICM-08), July 31 - August 1, Birmingham, United Kingdom, Pages 398-414, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5144, Springer, Berlin, Heidelberg, 2008.

  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, Birmingham, United Kingdom, Pages 16-28, 2008.

  6. 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, Australia, 2008.

  7. Christian Müller; Joan-Isaac Biel

    The ICSI 2007 Language Recognition System

    In: Proceeedings of the Odyssey 2008 Workshop on Speaker and Language Recognition. Odyssey Workshop on Speaker and Language Recognition (Odyssey-2008), January 21-24, Stellenbosch, South Africa, ISCA Archive, 2008.

  8. Anthony Jameson; Jürgen Kiefer; Christian Müller; Frank Wittig; Ralf Rummer

    Assessment of a user's time pressure and cognitive load on the basis of features of speech

    In: M. Crocker; Jörg Siekmann (Hrsg.). Resource-adaptive cognitive systems. Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin - Heidelberg - New York, 2008.

  9. Alexander Kröner; Wolfgang Wahlster

    Sharing Memories of Smart Products and their Consumers in Instrumented Environments

    In: IT - information technology, Vol. 50, No. (1), Pages 45-50, Oldenbourg, 2008.

  10. Michael Schmitz; Christoph Endres; Andreas Butz

    A Survey of Human-Computer Interaction Design in Science Fiction Movies

    In: Proceedings of the 2nd International Conference on INtelligent TEchnologies for interactive enterTAINment. Conference on INtelligent TEchnologies for interactive enterTAINment (INTETAIN-08), located at ACM SIGCHI, January 8-10, Cancun, Mexico, Page 10, ISBN 978-963-9799-13-4, Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2008.

Year