Publikationen

Zeige Ergebnisse 21 bis 30 von 503

In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09) 9th September 23-25 Swansea United Kingdom Electronic Communications of the EASST 23 2009.

Zur Publikation

In: Festschrift Dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday. Seiten 255-272 Sichere Kognitive Systeme, DFKI Bremen 2009.

Zur Publikation

In: HPG '09: Proceedings of the 1st ACM conference on High Performance Graphics. ACM/Eurographics High-Performance Graphics (was Graphics Hardware/Symposium on Interactive Ray Tracing) (HPG-09) August 1-3 New Orleans United States Seiten 15-22 ISBN 978-1-60558-603-8 ACM 2009.

Zur Publikation

In: IAPR Conference on Machine Vision Applications 2009, MVA 2009. IAPR Conference on Machine Vision Applications (MVA-09) May 20-22 Yokohama Japan Seiten 243-248 ISBN 978-4-901122-09-2 MVA 5/2009.

Zur Publikation

In: HPG '09: Proceedings of the 1st ACM conference on High Performance Graphics. ACM/Eurographics High-Performance Graphics (was Graphics Hardware/Symposium on Interactive Ray Tracing) (HPG-09) August 1-3 New Orleans United States Seiten 23-28 ISBN 978-1-60558-603-8 ACM 2009.

Zur Publikation

In: Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 14-16 September 2009, Berkeley, CA, USA. IEEE International Conference on Semantic Computing (ICSC-09) Seiten 361-366 2009.

Zur Publikation

In: Proceedings of the Workshop on Ontology Patterns (WOP 2009), collocated with the 8th International Semantic Web Conference, Washington D.C., USA. Workshop on Ontology Patterns (ISWC-09) 8th International Semantic Web Conference 2009.

Zur Publikation

Jahr

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence