Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 71 bis 80 von 171
  1. Franciska de Jong; Jean-Luc Gauvain; Djoerd Hiemstra; Klaus Netter

    Language-Based Multimedia Information Retrieval

    In: Proceedings of the 6th Conference on "Content-Based Multimedia Information Access". Recherche d'Informations Assistee par Ordinateur (RIAO '00). …

  2. Ulrich Callmeier

    PET. A Platform for Experimentation with Efficient HPSG Processing Techniques

    In: Journal of Natural Language Engineering (JNLE), Vol. 6, No. 1, Pages 99-108, 2000.

  3. Gregor Erbach; Werner Saurer

    Review of "Handbook of Logic in Artificial Intelligence and Logic Programming"

    In: Artificial Intelligence Review, Vol. 14, No. 6, Pages 615-617, 2000.

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

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

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

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

  7. Ansgar Bernardi; John Domingue; Marek Hatala; Paul Mulholland; Zdenek Zdrahal

    Supporting Organizational Learning by Enriching Representations of Work: The ENRICH methodology and its tool support

    In: KnowTech 2000 - Knowledge Engineering, Management, Consulting & Training. International Conference on Knowledge Management and Knowledge …

  8. Stefan Agne; Markus Rogger; Jörg Rohrschneider

    Benchmarking of Document Page Segmentation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document and Recognition and Retrieval VII. SPIE Conference on Document Recognition and Retrieval …

  9. Proactive Knowledge Delivery for Enterprise Knowledge Management

    In: Günther Ruhe; Frank Bomarius (Hrsg.). Learning Software Organizations - Methodology and Applications. International Conference on Software …

  10. Andreas Abecker; Ansgar Bernardi; Heiko Maus; Michael Sintek; Claudia Wenzel

    Information Supply for Business Processes - Coupling Workflow with Document Analysis and Information Retrieval

    In: Knowledge-Based Systems (KBS), Vol. 13, No. 5, Elsevier, 2000.