FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Oberle, Daniel; Grimm, Stephan; Staab, Steffen
An Ontology for SoftwareSteffen 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 textYolanda 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 APIsDavid 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 DesktopYolanda 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 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
Strohmaier, Markus; Kröll, Mark; Körner, Christian
Automatically Annotating Textual Resources with Human IntentionsFilippo 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 KalibriermustererkennungGerd 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ä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