Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Elliott, Desmond; Hopfgartner, Frank; Leelanupab, Teerapong et al.
An Architecture for Life-long User Modelling: held on First Lifelong User Modelling Workshop LLUM 2009; June 26, 2009Glasgow: University of Glasgow 2009 S. 1 - 9
Hopfgartner, Frank; Urruty, Thierry; Hannah, David et al.
Aspect-based Video Browsing – A User StudyChing-Yung Lin;Ingemar Cox;Regunathan Radhakrishnan;Rong Yan (Hrsg). Proceedings of the IEEE International Conference on Multimedia and Expo ICME 2009: June 28 – July 3, 2009; Waldorf-Astoria Hotel; New York, USA. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 946 - 949
Sofronie-Stokkermans, Viorica
Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphismsThomas Ball; Jürgen Giesl; Reiner Hähnle; Tobias Nipkow (Hrsg). Interaction versus Automation: The two Faces of Deduction - Dagstuhl Seminar 09411: 04.10. - 09.10.2009; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2009 S. 1 - 33
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
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
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
Halvey, Martin; Punitha, P.; Hannah, David et al.
Diversity, assortment, dissimilarity, variety: A study of Diversity Measures using Low Level Features for Video RetrievalMohand Boughanem;Catherine Berrut;Josiane Mothe;Chantal Soule-Dupuy (Hrsg). Advances in Information Retrieval: 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009, Proceedings. Berlin: Springer 2009 S. 126 - 137
Frey, Hannes; Pind, Kristen
Dynamic Source Routing versus Greedy Routing in a Testbed Sensor Network DeploymentUtz Roedig; Cormac J. Sreenan (Hrsg). Wireless Sensor Networks: 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings. Berlin: Springer 2009 S. 86 - 101
Berg, Uwe; Weyand, Christian; Zöbel, Dieter
Engine Acoustics for Truck Driving SimulatorsHamid R. Arabnia; Leonidas Deilgiannidis (Hrsg). Proceedings of the International Conference On Modeling, Simulation and Visualization Methods MSV 2009 at WORLDCOMP 2009; July 13-16, 2009; Las Vegas, Nevada, USA. Athens, GA: CSREA Press 2009 S. 237 - 241