2008 search results - page 100 / 402 » Computing with Equations |
117
click to vote
SI3D
2010
ACM
15 years 6 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...
106
Voted
CAGD
2010
15 years 2 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...
120
click to vote
TLCA
2007
Springer
15 years 8 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...
109
Voted
ICCS
2005
Springer
15 years 8 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)...
119
click to vote
MIG
2010
Springer
15 years 24 days 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...