492 search results - page 3 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
AFPAC
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. In this paper we investigate the Lie model of Lie sphere geometry using Clifford algebra. We employ it to Euclidean geometric problems involving oriented contact to simpl...
VISUALIZATION
1997
IEEE
13 years 9 months ago
1997
IEEE
: We present the use of mapping functions to automatically generate levels of detail with known error bounds for polygonal models. We develop a piece-wise linear mapping function f...
ENTCS
2008
13 years 5 months ago
2008
Several different uses of Newton's method in connection with the Fundamental Theorem of Algebra are pointed out. Theoretical subdivision schemes have been combined with the n...
COMPUTING
2004
13 years 5 months ago
2004
We develop methods for the variational design of algebraic curves. Our approach is based on truly geometric fairness criteria, such as the elastic bending energy. In addition, we ...
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, an approach to synthesize correct programs from specifications is presented. The idea is to extract code from definitions appearing in statements which have been me...