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 81 to 90 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. Towards an Integration of Business Process Modeling and Object-Oriented Software Development

    In: Ion Ivan; Ion Gh. Rosca (Hrsg.). Information Society - The Proceedings of the Fifth International Symposium on Economic Informatics - IE 2001, …

  7. Thierry Declerck; P. Wittenburg; H. Cunningham

    The Automatic Generation of Formal Annotations in a Multimedia Indexing and Searching Environment

    In: Proceedings of the ACL/ EACL Workshop on Human Language Technology and Knowledge Management, July 6-7. ACL/EACL Workshop on Human Language …

  8. Thierry Declerck; Günter Neumann

    A Cascaded Shallow Approach to Reference Resolution

    In: Proceedings of the EuroConference on Recent Advances in NLP (RANLP'01), September 5-7. International Conference on Recent Advances in Natural …