Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 171
  1. Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

  2. Management of Change in Verification Systems

    In: Proceedings 15th IEEE International Conference on Automated Software Engineering, ASE-2000. IEEE International Conference on Automated Software …

  3. The Use of Formal Methods for Trusted Digital Signature Devices

    In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.

  4. Georg Rock; Werner Stephan; Michael Brodski

    Modeling, Specification and Verification of an Emergency Closing System

    In: FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS), 2000.

  5. Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul Karger; Vernon Austel; David Toll

    Verification of a Formal Security Model for Multiapplicative Smart Cards

    In: Computer Security -- Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000). European Symposium on Computer …

  6. Elisabeth Andre; Thomas Rist; Gerd Herzog

    Neue 'Neue Medien'? Von Multimedia zu Intellimedia-Präsentationssystemen.

    In: Günter G. Voß; Werner Holly; Klaus Boehnke (Hrsg.). Neue Medien im Alltag: Begriffsbestimmungen eines interdisziplinären Forschungsfeldes. Pages …

  7. Andrew Bredenkamp; Thierry Declerck; Frederik Fouvry; Bradley Music; Axel Theofilidis

    Linguistic engineering using ALEP

    In: Pages 375-387, Current Issues in Linguistic Theory, Vol. 189, John Benjamins, 2000.

  8. Mark-Jan Nederhof; Giorgio Satta

    Left-To-Right Parsing and Bilexical Context-Free Grammars

    In: Sergei Nirenburg; Douglas Appelt; Fabio Ciravegna; Robert Dale (Hrsg.). Proceedings of the 6th Applied Natural Language Processing Conference and …

  9. Mark-Jan Nederhof

    Regular Approximation of CFLs: A Grammatical View

    In: Harry Bunt; Anton Nijholt (Hrsg.). Advances in Probabilistic and other Parsing Technologies. Pages 221-241, Kluwer Academic Publishers, 2000.

  10. Mark-Jan Nederhof

    Preprocessing for Unification Parsing of Spoken Language

    In: Dimitris Christodoulakis (Hrsg.). Proceedings of the Natural Language Processing - NLP 2000, June 2-4. Conference on Applied Natural Language …