Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 71 to 80 of 182.
  1. A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Maria Paola Bonacina; Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 58, Elsevier Science Publishers, 2001.

  2. Mertin Bertram; Hans Hagen

    Subdivision surfaces for scattered-data approximation

    In: Data Visualization 2001 (Proceedings of Joint Eurographics - IEEE TCVG Symposium on Visualization 2001), Ebert, Favre, Peikert (Hrsg.), Springer …

  3. Mertin Bertram; David Laney; Marc Duchaineau; Charles Hansen; Bernd Hamann; Kenneth Joy

    Wavelet Representation of Contour Sets

    In: Proceedings of IEEE Visualization 2001, Ertl, Joy, Varshney (Hrsg.), IEEE Computer Society, Los Alamitos, CA, USA, 2001,. IEEE Visualization …

  4. Hans Hagen; G. Scheuermann

    Clifford Algebra and Flows

    In: Mathematical Methods for Curves and Surfaces, Oslo 2000, Lyche, Schumaker (Hrsg.), Vanderbilt University Press, Nashville, TN, USA, 2001,. Pages …

  5. Michael Münchhofen; Hans Hagen; Inga Scheler; Kai Hergenröther

    Diversified visualisation from www to VR,

    In: International Symposium on Virtual and Augmented Architecture, Dublin, 2001. International Symposium on Virtual and Augmented Architecture, 2001.

  6. Ludger van Elst; Andreas Abecker

    Ontology--related Services in Agent--Based Distributed Information Infrastructures

    In: Proceedings of the Thirteenth International Conference on Software Engineering and Knowledge Engineering, June 13--15. Buenos Aires, Argentina. …

  7. Ludger van Elst; Andreas Abecker

    Domain Ontology Agents in Distributed Organizational Memories

    In: IJCAI'2001 Working Notes of the Workshop on Knowledge Management and Organizational Memories, Seattle, Washington. International Joint Conference …

  8. Ludger van Elst; Andreas Abecker

    Integrating Task, Role, and User Modeling in Organizational Memories

    In: I. Russell; J. Kolen (Hrsg.). Proceedings of the Fourteenth International FLAIRS Conference, May 21-23, Key West, Florida. International FLAIRS …

  9. Bertin Klein; Serdar Gökkus; Thomas Kieninger; Andreas Dengel

    Three Approaches to Industrial Table Spotting

    In: Int. Conf. On Document Analysis and Recognition (ICDAR) '01. International Conference on Document Analysis and Recognition (ICDAR), 2001.