FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Kröll, Mark; Strohmaier, Markus
Extracting Human Goals from WeblogsLWA. 2009 S. 64 - 67
Scherp, Ansgar; Franz, Thomas; Saathoff, Carsten et al.
F-A Model of Events based on the Foundational Ontology DOLCE+DnS UltralightYolanda Gil; Natasha Noy (Hrsg). Proceedings of the Fifth International Conference on Knowledge Capture K-CAP'09: September 1. - 4., 2009; Redondo Beach, California, USA. New York, NY: ACM Association for Computing Machinery 2009 S. 137 - 144
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
Hillesheim, Daniel; Schygulla, Michael; Berg, Uwe et al.
Fahrerinformations- und assistenzsystem zur energieeffizienten Planung und Durchführung von Gütertransporten mit NutzfahrzeugenVDI-Gesellschaft Fahrzeug- und Verkehrstechnik (Hrsg). 10. Internationale Fachtagung Nutzfahrzeuge: Mit Fachausstellung und Omnibusforum, Neu-Ulm; 27. und 28. Mai 2009. Düsseldorf: Verein Deutscher Ingenieure 2009 S. 97 - 107
Hans, Wolfram; Knopp, Benjamin; Paulus, Dietrich
Farbmetrische ObjekterkennungGerd 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. 43 - 51
Bergen, Tobias; Ruthotto, Steffen; Münzenmayer, Christian et al.
Feature-Based Real-Time Endoscopic MosaickingPeter Zinterhof (Hrsg). Proceedings of the 6th International Symposium on Image and Signal Processing and Analysis ISPA 2009: 16 - 18 September, 2009; Salzburg, Austria. Piscataway, NJ: IEEE Computer Society 2009 S. 695 - 700
Tyson, Gareth; Grace, Paul; Blair, Gordon S. et al.
Fine Grained Component Engineering of Adaptive Overlays: Experiences and PerspectivesLancaster: Lancaster University 2009 S. 1 - 20
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