Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 2009
Alle Filter entfernen
Zeige Ergebnisse 111 bis 120 von 533

  1. Udo Frese; Daniel Hausmann; Christoph Lüth; Holger Täubig; Dennis Walter

    The Importance of Being Formal

    In: M. Huhn; H. Hungar (Hrsg.). Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems. International …

  2. Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz

    Formal Management of CAD/CAM Processes

    In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, …

  3. Sergey Goncharov; Lutz Schröder; Till Mossakowski

    Kleene Monads: Handling Iteration in a Framework of Generic Effects

    In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  4. Mark Hillebrand; Dirk Leinenbach

    Formal Verification of a Reader-Writer Lock Implementation in C

    In: Proceedings of the 4th International Workshop on Systems Software Verification. International Workshop on Systems Software Verification …

  5. Carsten Ullrich; Tianxiang Lu; Erica Melis

    A New Framework for Dynamic Adaptations and Actions

    In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Learning in the Synergy of Multiple Disciplines. European Conference on Technology Enhanced …

  6. Thomas Burkhart; Silke Balzert-Walter; Dirk Werth; Peter Loos

    An email-based interoperability approach for SMEs

    In: Proceeding of the International Conference on Interoperability for Enterprise Software and Applications. International Conference on …

  7. Martin Wolpers; Martin Memmel; Alberto Giretti

    Metadata in architecture education - first evaluation results of the MACE system

    In: Ulrike Cress; Vania Dimitrova; Marcus Specht (Hrsg.). Proceedings of EC-TEL 2009 - Learning in the Synergy of Multiple Disciplines. European …

  8. Rui Wang; Yi Zhang; Wei Qiu; Mosha Chen; Tingyu Li; Wenbo Zhang; Tianfang Yao

    Combining Data-Driven Constituent and Dependency Parsers for CIPS-ParsEval-2009

    Chinese Information Processing Society, 2009.

  9. Jan Hajic; Massimiliano Ciaramita; Richard Johansson; Daisuke Kawahara; Maria Antònia Martí; Lluís Màrquez; Adam Meyers; Joakim Nivre; Sebastian Padó; Jan Stvepánek; Pavel Stravnák; Mihai Surdeanu; Nianwen Xue; Yi Zhang

    The CoNLL-2009 shared task: syntactic and semantic dependencies in multiple languages

    In: Proceedings of the 13th conference on computational natural language learning. Conference on Computational Natural Language Learning (CoNLL-2009), …

  10. Yi Zhang; Rui Wang; Stephan Oepen

    Hybrid Multilingual Parsing with HPSG for SRL

    In: Proceedings of the 13th conference on computational natural language learning. Conference on Computational Natural Language Learning (CoNLL-2009), …

Jahr