Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Kröll, Mark; Strohmaier, Markus

Extracting Human Goals from Weblogs

LWA. 2009 S. 64 - 67


Scherp, Ansgar; Franz, Thomas; Saathoff, Carsten et al.

F-A Model of Events based on the Foundational Ontology DOLCE+DnS Ultralight

Yolanda 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 Evaluation

Benoit 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 Nutzfahrzeugen

VDI-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 Objekterkennung

Gerd 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 Mosaicking

Peter 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 Perspectives

Lancaster: Lancaster University 2009 S. 1 - 20


Jürjens, Jan; Weber, Tjark

Finite Models in FOL-Based Crypto-Protocol Verification

Pierpaolo 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 Networks

Wie 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 Tutorial

12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009