Sciweavers

9997 search results - page 269 / 2000
» The case for crowd computing
Sort
View
CGF
2008
118views more  CGF 2008»
15 years 6 months ago
Manifold-valued Thin-Plate Splines with Applications in Computer Graphics
We present a generalization of thin-plate splines for interpolation and approximation of manifold-valued data, and demonstrate its usefulness in computer graphics with several app...
Florian Steinke, Matthias Hein, Jan Peters, Bernha...
COMGEO
2006
ACM
15 years 6 months ago
An exact and efficient approach for computing a cell in an arrangement of quadrics
We present an approach for the exact and efficient computation of a cell in an arrangement of quadric surfaces. All calculations are based on exact rational algebraic methods and ...
Elmar Schömer, Nicola Wolpert
ENTCS
2007
82views more  ENTCS 2007»
15 years 6 months ago
On the Computational Representation of Classical Logical Connectives
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
Jayshan Raghunandan, Alexander J. Summers
TCS
1998
15 years 6 months ago
A Computational Model for Metric Spaces
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
Abbas Edalat, Reinhold Heckmann
SCIENTOMETRICS
2010
122views more  SCIENTOMETRICS 2010»
15 years 5 months ago
A comparison of bibliometric indicators for computer science scholars and journals on Web of Science and Google Scholar
Abstract. Given the current availability of different bibliometric indicators and of production and citation data sources, the following two questions immediately arise: do the in...
Massimo Franceschet