FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie ProjectElectronic Notes in Theoretical Computer Science. Bd. 250. H. 1. Amsterdam: Elsevier 2009 S. 123 - 136
Strohmaier, Markus; Kröll, Mark; Körner, Christian
Automatically Annotating Textual Resources with Human IntentionsFilippo Menczer; Ciro Cattuto; Giancarlo Ruffo (Hrsg). Proceedings of the 20th ACM Conference on Hypertext and Hypermedia Hypertext 2009: June 29–July 1, 2009; Torino, Italy. New York, NY: ACM Association for Computing Machinery 2009 S. 355 - 356
Knopp, Benjamin; Paulus, Dietrich; Hans, Wolfram
Automatische KalibriermustererkennungGerd Stanke;Michael Pochanke (Hrsg). FarbBV 2009 - 15. Workshop Farbbildverarbeitung: 08. - 09. Oktober 2009; Berlin-Adlershof. Berlin: GFaI Gesellschaft zur Förderung angewandter Informatik 2009 S. 37 - 42
Schikora, Jacek; Berg, Uwe; Zöbel, Dieter
Berührungslose Winkelbestimmung zwischen Zugfahrzeug und AnhängerWolfgang A. Halang; Peter Holleczek (Hrsg). Aktuelle Anwendungen in Technik und Wirtschaft: Echtzeit 2008; Boppard; 27. und 28. November, 2008. Berlin: Springer 2009 S. 11 - 20
Swanton, Charles; Nicke, Barbara; Schuett, Marion et al.
Chromosomal Instability Determines Taxane ResponseProceedings of the National Academy of Sciences of the United States of America. Bd. 106. H. 21. Washington, DC: National Academy of Sciences 2009 S. 8671 - 8676
Arndt, Richard; Troncy, Raphaël; Staab, Steffen et al.
COMM: A Core Ontology for Multimedia AnnotationSteffen Staab; Rudi Studer (Hrsg). Handbook on Ontologies. 2nd Edition. Aufl. Berlin: Springer 2009 S. 403 - 421
Papadopoulos, Georgios; Saathoff, Carsten; Grzegorzek, Marcin et al.
Comparative evaluation of spatial context techniques for semantic image analysisGael Richard; Slim Essid; George Tzanetakis; Noel O'Connor (Hrsg). Proceedings of the 10th International Workshop on Image Analysis for Multimedia Interactive Services WIAMIS: 6-8 May 2009, Brunei Gallery, London. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 161 - 164
Bermejo, Pablo; Hopfgartner, Frank; Gamez, Jose A. et al.
Comparison of Balancing Techniques for Multimedia IR over Imbalanced DatasetsFatos Yarman Vural; Adnan Yazıcı; Hakkı Toroslu; Tolga Can; Pinar Şenkul; Ahmet Sançan (Hrsg). 24th International Symposium on Computer and Information Sciences ISCIS 2014: September 14-16, 2009 Middle East Technical University; Northern Cyprus Campus. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 674 - 679
Tolhurst, Denise; Williams, Susan P.
Competing in the Message Market: A Teaching CaseAndreja Pucihar (Hrsg). Proceedings of the 22nd Bled eConference 2009; eEnablement - Facilitating an Open, Effective and Representative eSociety: June 14 - 17, 2009; Bled, Slovenia. Atlanta, GA: Association for Information Systems/AIS eLibrary 2009 S. 30
Harbusch, Karin; Itsova, Gergany; Koch, Ulrich et al.
Computing Accurate Grammatical Feedback in a Virtual Writing Conference for German-Speaking Elementary-School Children: An Approach Based on Natural Language GenerationCALICO Journal. Bd. 26. H. 3. Sheffield: Equinox Publishing Limited 2009 S. 626 - 643