Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 370.
  1. Oliver Kutz; Till Mossakowski

    Modules in Transition - Conservativity, Composition, and Colimits

    In: Bernardo Cuenca-Grau; Vasant Honavar; Anne Schlicht; Frank Wolter (Hrsg.). Second International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-07), located at Fourth International Conference on Knowledge Capture (K-CAP-07), October 28, Whistler, BC, Canada, CEUR Workshop Proceedings, Vol. 315, CEUR-WS, 2007.

  2. Preserving Privacy in the Web by Using Information Flow Control

    In: Rafael Accorsi; Michael Kreutzer; Andreas Schmidt (Hrsg.). Long-Term and Dynamical Aspects of Information Security. ISBN 978-1600219122, Nova Science Publishers, Inc. 2007.

  3. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    A method for patching interleaving-replay attacks in faulty security protocols

    In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006), located at Associated with CAV 2006, August 21, Seattle, WA, USA, Pages 117-130, Vol. 174, No. 4, Electronic Notes in Theoretical Computer Science, 2007.

  4. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    On the Automated Correction of Security Protocols Susceptible to a Replay Attack

    In: J. Biskup (Hrsg.). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security (ESORICS-07), September 24 - August 26, Dresden, Germany, Lectures Notes in Computer Science (LNCS), Springer-Verlag, 2007.

  5. Kopplung von Zutrittskontrolle und Raumautomation - Eine Basis für die Interaktion mit einer intelligenten Umgebung

    In: VDI-Gesellschaft (Hrsg.). 8. Fachtagung Gebäudesicherheit und Gebäudeautomation - Koexistenz oder Integration?. Pages 37-48, VDI Berichte, Vol. 2005, Springer, Düsseldorf, 2007.

  6. Classifying Speakers According to Age and Gender

    In: Christian Müller (Hrsg.). Speaker Classification II. Pages 1-9, Lecture Notes in Computer Science / Artificial Intelligence (LNCS/LNAI), Vol. 4343, Springer, Heidelberg - New York - Berlin, 2007.

  7. Speaker Classification II - Selected Projects

    Lecture Notes on Artificial Intelligence (LNAI), Vol. 4441, Springer, New York - Berlin, 2007.

  8. Florian Metze; Jitendra Ajmera; Roman Englert; Udo Bub; Felix Burkhardt; Joachim Stegmann; Christian Müller; Richard Huber; Bernt Andrassy; Josef G. Bauer; Bernhard Littel

    Comparison of Four Approaches to Age and Gender Recognition for Telephone Applications

    In: Proceedings of the 32nd International Conference on Acoustics, Speech, and Signal Processing. International Conference on Acoustics, Speech and Signal Processing (ICASSP-2007), April 15-20, Honolulu, Hawaii, USA, 2007.

  9. Y Huang; O. Vinyals; G. Friedland; Christian Müller; N. Mirghafori; C. Wooters

    A Fast-Match Approach for Robust, faster than Real-Time Speaker Diarization

    In: Proceedings of the tenth biannual IEEE workshop on Automatic Speech Recognition and Understanding. IEEE Automatic Speech Recognition and Understanding Workshop (ASRU-2007), December 9-13, Kyoto, Japan, 2007.

  10. Stefan Münzer; Hubert Zimmer; Maximilian Schwalm; Jörg Baus; Ilhan Alsan

    Computer Assisted Navigation and the Acquisition of Route and Survey Knowledge

    In: Journal of Environmental PhSychology, Vol. 26, Pages 200-208, Elsevier, 2007.