Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2000
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 171.

  1. Hans Hagen; Karsten Fries; Jürgen Meyer; Bernd Lindemann

    Analysis of Biomedical Image Correspondence, Matching 3-Dimensional Point Sets

    In: Proc. of Scientific Visualization 2000, Schloss Dagstuhl, Germany, 2000. Dagstuhl Seminare/Workshops, Pages 22-26, 2000.

  2. Hans Hagen; A. Nawotki

    A Geometric Modelling Pipline

    In: Proceedings 9th ICGG conference, 2000. International Conference on Geometry and Graphics (ICGG), Pages 339-343, 2000.

  3. Ingrid Hotz; Hans Hagen

    Visualizing Geodedics

    In: Proceedings of the 11th annual IEEE Visualization conference. IEEE Visualization Conference (IEEE Vis-2000), October 8-13, Salt Lake City, UT, USA, Pages 311-318, IEEE Computer Society and ACM, 2000.

  4. Hans Hagen; E. Moritz; F. Küster; Bernd Hamann; Kenneth Joy

    Towards Immersive Clay Modelling: Interactive Modelling with Octrees

    In: Stereoscopic Displays and Virtual Reality Systems VII, John O. Merrit, Stephen A. Benton, Andrew J. Woods, Mark T. Bolas (eds.), Proceedings of SPIE Vol. 3957, 2000,. SPIE Stereoscopic Displays and Virtual Reality Systems, Pages 414-422, 2000.

  5. Martin Bertram; Shirley Schussman; Bernd Hamann; Kenneth I. Joy

    Hierarchical data representations based on planar Voronoi diagrams

    In: Proceedings of VisSym'00, Joint Eurographics and IEEE TCVG Conference on Visualization, Amsterdam, Springer, 2000,. Joint Eurographics/IEEE TCVG Symposium on Visualization (VisSym), Pages 63-72, 2000.

  6. Hans Hagen; Xavier Trichoche; Gerik Scheuermann

    A Topology Simplification Method for 2D Vector Fields

    In: Proceedings Visualization 2000, IEEE Computer society Press, Los Alamitos, CA, October 2000,. IEEE Visualization Conference (IEEE Vis), Pages 359-366, 2000.

  7. Hans Hagen; Xavier Tricoche; Gerik Scheuermann

    Higher Order Singularities in Piecewise Linear Vector Fields

    In: Cipolla - Martin (eds.:) The Mathematics of Surfaces IX, Springer London, 2000,. Pages 99-113, 2000.

  8. Dieter Hutter; Heiko Mantel; Klaus P. Jantke; Georg Rock; Werner Stephan

    Automated Reasoning for System Verification: A Tutorial Introduction into VSE-II

    In: Proceedings Ilmenau International Scientific Colloquium, Special Track: Validation and Verification. Ilmenau International Scientific Colloquium, 2000.

  9. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.

  10. Dieter Hutter

    Annotated Reasoning

    In: Annals of Mathematics and Artificial Intelligence (AMAI), Vol. 29, Kluwer Academic Publisher, 2000.

Jahr