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

Oberle, Daniel; Grimm, Stephan; Staab, Steffen

An Ontology for Software

Steffen Staab; Rudi Studer (Hrsg). Handbook on Ontologies. 2nd Edition. Aufl. Berlin: Springer 2009 S. 383 - 402


Kröll, Mark; Strohmaier, Markus

Analyzing human intentions in natural language text

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. 197 - 198


Silva Parreiras, Fernando; Saathoff, Carsten; Walter, Tobias et al.

APIs à gogo: Automatic Generation of Ontology APIs

David A. Evans; Eduard Hovy; Max Mühlhäuser; Martha Palmer; Phillip Sheu; Gerald Friedland; Craig Martell; Mark Wood; Heather Yu (Hrsg). Proceedings of the 3rd IEEE International Conference on Semantic Computing ICSC 2009: 14-16 September 2009, Berkeley, CA, USA. Los Alamitos, CA: IEEE Computer Society 2009 S. 342 - 348


Franz, Thomas; Scherp, Ansgar; Staab, Steffen

Are Semantic Desktops Better? - Summative Evaluation Comparing a Semantic against a Conventional Desktop

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. 1 - 8


Hopfgartner, Frank; Urruty, Thierry; Hannah, David et al.

Aspect-based Video Browsing – A User Study

Ching-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 homomorphisms

Thomas 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 Project

Electronic 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 Intentions

Filippo 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 Kalibriermustererkennung

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. 37 - 42


Schikora, Jacek; Berg, Uwe; Zöbel, Dieter

Berührungslose Winkelbestimmung zwischen Zugfahrzeug und Anhänger

Wolfgang 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