Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Hopfgartner, Frank; Urruty, Thierry; Villa, Robert et al.
Facet-based Browsing in Video Retrieval: A Simulation- based EvaluationBenoit Huet;Alan Smeaton;Ketan Mayer-Patel;Yannis Avrithis (Hrsg). Advances in Multimedia Modeling: 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. Berlin: Springer 2009 S. 472 - 483
Jürjens, Jan; Weber, Tjark
Finite Models in FOL-Based Crypto-Protocol VerificationPierpaolo Degano; Luca Viganò (Hrsg). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin: Springer 2009 S. 155 - 172
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Focused-Coverage by Mobile Sensor NetworksWie Zhao; Lionel M. Ni (Hrsg). Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems MASS 2009: 12-15 October 2009; Macau (S.A.R.), China. Piscataway, NJ: IEEE Computer Society 2009 S. 466 - 475
Jürjens, Jan
Formal Foundations for Verifying Security-Critical Software: A Tutorial12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009
Schwarz, Christian; Weyand, Christian; Zöbel, Dieter
Generisches Verfahren zur präzisen Pfadverfolgung für SerienfahrzeuggespanneRüdiger Dillmann; Jürgen Beyerer; Christoph Stiller; J. Marius Zöllner; Tobias Gindele (Hrsg). Autonome Mobile Systeme 2009: 21. Fachgespräch Karlsruhe, 3. - 4. Dezember 2009. Berlin: Springer 2009 S. 97 - 104
Favre, Jean-Marie; Gasevic, Dragan; Lämmel, Ralf et al.
Guest Editors' Introduction to the Special Section on Software Language EngineeringIEEE Transactions on Software Engineering. Bd. 35. H. 6. New York, NY: IEEE Institute of Electrical and Electronics Engineers 2009 S. 737 - 741