alle  -  aktuell  -  2013  -  2012  -  2011  -  2010  -  2009  -  2008  -  2007  -  2006  -  2005  -  2004  -  2003  -  2002  -  2001  -  2000  -  1999  -  1998  -  1997  -  1996  -  1995  -  1994  -  1993  -  1992  -  1990  -  1985 

Publikationen 1994

 
  
Exact and Fast Collision Detection
Gabriel Zachmann
Diplomarbeit, Technical University Darmstadt, Dept. of Computer Science, 1994
[Details]   [Paper]   [Bibtex]  
 
  
Linear approximation of trimmed surfaces
Reinhard Klein
In proceedings of The Mathematics Of Surfaces VI, pages 209-212, 1994
[Details]   [Paper]   [Bibtex]  
 
  
Realism in Virtual Reality
P. Astheimer, F. Dai, M. Göbel, R. Kruse, S. Müller und Gabriel Zachmann
In: Artificial Life and Virtual Reality, pages 189-210, Wiley and Sons, 1994
[Details]   [Bibtex]  
 
  
Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial Intelligence
Andreas Weber
In proceedings of KI-94 Workshops - Extended Abstracts, pages 319-320, Gesellschaft für Informatik e.V., Bonn, Sept. 1994
[Details]   [Bibtex]  
 
  
An Application of Quantifier Elimination to Mathematical Biology
C. Chauvin, M. Müller und Andreas Weber
In proceedings of Computer Algebra in Science and Engineering, Zentrum für Interdisziplinäre Forschung, pages 287-296, World Scientific, Aug. 1994
[Details]   [Bibtex]  
 
  
Using Commutativity Properties for Controlling Coercions
S. A. Missura und Andreas Weber
In proceedings of Integrating Symbolic Mathematical Computation and Artifical Intelligence - Second International Conference (AISMC-2), pages 131-143, Springer-Verlag, Aug. 1994
[Details]   [Bibtex]  
 
  
Algorithms for Type Inference with Coercions
Andreas Weber
In proceedings of Proc. Symposium on Symbolic and Algebraic Computation (ISSAC `94), Association for Computing Machinery, pages 324-329, Juli 1994
[Details]   [Bibtex]  
 
  
Interaktions-Toolkit
W. Felger, R. Schäfer und Gabriel Zachmann
Fraunhofer Institute for Computer Graphics, Technical Report number FIGD-94i002, Jan. 1994
[Details]   [Bibtex]