2008 search results - page 100 / 402 » Computing with Equations |
SI3D
2010
ACM
14 years 1 months ago
2010
ACM
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...
CAGD
2010
13 years 9 months ago
2010
In this paper we present algorithms for computing the topology of planar and space rational curves defined by a parametrization. The algorithms given here work directly with the p...
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
The Continuation of Invariant Subspaces (CIS) algorithm produces a smoothly varying basis for an invariant subspace R(s) of a parameter-dependent matrix A(s). In the case when A(s)...
MIG
2010
Springer
13 years 7 months ago
2010
Springer
Pose control for physically simulated characters has typically been based on proportional-derivative (PD) controllers. In this paper, we introduce a novel, analytical solution to t...