Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 370
  1. Jan Alexandersson; Tillmann Becker

    Efficient Computation of Overlay for Multiple Inheritance Hierachies in Discourse Modeling

    In: Harry Bunt; Reinhard Muskens. Computing Meaning. Pages 423-455, Studies in Linguistics and Philosophy, Vol. 3, Kluwer, Dordrecht, 2007.

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

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

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

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

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

  7. Christian Husodo Schulz

    Well-formed Default Unification in Multiple Inheritance Hierarchies

    Mastersthesis, DFKI, 2007.

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

  9. Speaker Classification II - Selected Projects

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

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