alle  -  aktuell  -  2021  -  2020  -  2019  -  2018  -  2017  -  2016  -  2015  -  2014  -  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
R. R. Martin (Editoren)
Reinhard Klein
In proceedings of The Mathematics Of Surfaces VI, pages 209-212, 1994
[Details]   [Paper]   [Bibtex]  
 
  
Realism in Virtual Reality
N. Magnenat-Thalmann und Daniel Thalmann (Editoren)
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
Jürgen Kunze und Herbert Stoyan (Editoren)
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
J. Fleischer, J. Grabmeier, F. W. Hehl und W. Küchlin (Editoren)
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
J. Calmet und J. A. Campbell (Editoren)
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]