Skip to main content Skip to main navigation

Publications

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. 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. Erica Melis; Jörg Siekmann

    Abschlussbericht Vorprojekt Interaktives Lehrbuch

    DFKI GmbH, DFKI Final Reports (FR), Vol. 01-08, 2001.

  8. Urs Anliker; Paul Lukowicz; Gerhard Troester; Steven J. Schwartz; Richard W. DeVaul

    The WearARM: Modular, High Performance, Low Power Computing Platform Designed for Integration into Everyday Clothing

    In: Proceedings of the 5th IEEE International Symposium on Wearable Computers. IEEE International Symposium on Wearable Computers (ISWC-2001), 5th, …

  9. Verarbeitung von Sensordaten in Dynamischen Bayesschen Netzen

    In: Nicola Henze (Hrsg.). ABIS-01, Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. GI-Workshop "Adaptivität und …