Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2001
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 182.

  1. Axel Schairer; Serge Autexier; Dieter Hutter

    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 2001,. Joint Eurographics/IEEE TCVG Symposium on Visualization (VisSym), Pages 55-64, 2001.

  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 Conference (IEEE Vis), Pages 303-310, 2001.

  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 173-181, 2001.

  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. Berthold Crysmann

    Clitics and Coordination in Linear Structure

    In: Clitics in Phonology, Morphology, and Syntax. Pages 121-159, Linguistics Today, Vol. 36, John Benjamins, 2001.

  7. Stephan Busemann

    Language Generation for Cross-Lingual Document Summarisation

    In: Proceedings of the International Workshop on Innovative Language Technology and Chinese Information Processing (ILT&CIP '01). International Workshop on Innovative Language Technology and Chinese Information Processing (ILT&CIP), Science Press, 2001.

  8. Paul Buitelaar; Bogdan Sacaleanu

    Ranking and Selecting Synsets by Domain Relevance

    In: Proceedings of the WordNet and Other Lexical Resources: Applications, Extensions and Customizations. NAACL Workshop. Meeting of the North American Chapter of the Association for Computational Linguistics (NAACL), 2001.

  9. Paul Buitelaar; Jan Alexandersson; Tilman Jäger; Stephan Lesch; Norbert Pfleger; Diana Raileanu; Tanja von den Berg; Kerstin Klöckner; Holger Neis; Hubert Schlarb

    An Unsupervised Semantic Tagger Applied to German

    In: Proceedings of the 3rd Conference on Recent Advances in Natural Language Processing (RANLP'01), September 5-7. International Conference on Recent Advances in Natural Language Processing (RANLP-01), September 5-7, Tzigov Chark, Bouvet Island, 2001.

  10. Paul Buitelaar

    Semantic Lexicons: Between Ontology and Terminology

    In: Proceedings of OntoLex 2000: Ontologies and Lexical Knowledge Bases. Ontologies and Lexical Knowledge Bases (OntoLex), 2001.

Jahr