Sciweavers

876 search results - page 101 / 176
» Complexity in geometric SINR
Sort
View
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 10 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen
JGTOOLS
2008
100views more  JGTOOLS 2008»
13 years 10 months ago
Proximity Cluster Trees
Hierarchical spatial data structures provide a means for organizing data for efficient processing. Most spatial data structures are optimized for performing queries, such as inters...
Elena Jakubiak Hutchinson, Sarah F. Frisken, Ronal...
JSC
2008
78views more  JSC 2008»
13 years 10 months ago
Rational Univariate Reduction via toric resultants
We describe algorithms for solving a given system of multivariate polynomial equations via the Rational Univariate Reduction (RUR). We compute the RUR from the toric resultant of ...
Koji Ouchi, John Keyser
TCSV
2008
152views more  TCSV 2008»
13 years 10 months ago
Animation Key-Frame Extraction and Simplification Using Deformation Analysis
Three-dimensional animating meshes have been widely used in the computer graphics and video game industries. Reducing the animating mesh complexity is a common way of overcoming th...
Tong-Yee Lee, Chao-Hung Lin, Yu-Shuen Wang, Tai-Gu...
TOG
2008
136views more  TOG 2008»
13 years 10 months ago
Curved folding
Fascinating and elegant shapes may be folded from a single planar sheet of material without stretching, tearing or cutting, if one incorporates curved folds into the design. We pr...
Martin Kilian, Simon Flöry, Zhonggui Chen, Ni...