Sciweavers

577 search results - page 9 / 116
» Computing Rational Bisectors
Sort
View
RTA
2010
Springer
13 years 6 months ago
Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
Friedrich Neurauter, Aart Middeldorp
CIE
2006
Springer
13 years 11 months ago
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
Jérôme Durand-Lose
JSC
2008
126views more  JSC 2008»
13 years 6 months ago
Computing singular points of plane rational curves
We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the -basis of the curve. It is shown that singularity...
Falai Chen, Wenping Wang, Yang Liu
FSTTCS
2010
Springer
13 years 6 months ago
Computing Rational Radical Sums in Uniform TC^0
A fundamental problem in numerical computation and computational geometry is to determine the sign of arithmetic expressions in radicals. Here we consider the simpler problem of d...
Paul Hunter, Patricia Bouyer, Nicolas Markey, Jo&e...
DIGRA
2003
Springer
14 years 1 months ago
Game Tips as Gifts: Social Interactions and Rational Calculations in Computer Gaming
The authors look at online tip exchanges as parts of gift economies created by the players and designers of console and online role-playing games in Taiwan. A group of experienced...
Chuen-Tsai Sun, Holin Lin, Cheng-Hong Ho