F. Blomquist, W. Hofschuster, and W. Krämer. Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)
B. Hummel, W. Thiemann, and I. Lulcheva. Logic and Probability for Scene Interpretation, volume 08091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)
B. Gooch, L. Neumann, W. Purgathofer, and M. Sbert. Computational Aesthetics in Graphics, Visualization and Imaging, volume 06221 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
W. Hofschuster, W. Krämer, and M. Neher. Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)
B. Gooch, L. Neumann, W. Purgathofer, and M. Sbert. Computational Aesthetics in Graphics, Visualization and Imaging, volume 06221 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)