Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 91 bis 100 von 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. Paul Buitelaar

    The SENSEVAL-II Panel on Domains, Topics and Senses

    In: Proceedings of the 2nd International Workshop on Evaluating Word Sense Disambiguation Systems (SENSEVAL-II). International Workshop on Evaluating …

  7. Thierry Declerck

    Extending NLP Tools Repositories for the Interaction with Language Data Resources Repositories

    In: Proceedings of the ACL/ EACL Workshop on Sharing Tools and Resources, July 7. ACL/EACL Workshop on Sharing Tools and Resources, 2001.

  8. 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 …