4850 search results - page 669 / 970 » Proof and Computation in Geometry |
144
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
174
click to vote
NCA
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
183
click to vote
DSSCV
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we present a novel framework to carry out computations on tensors, i.e. symmetric positive definite matrices. We endow the space of tensors with an affine-invariant...
166
click to vote
FCT
2005
Springer
16 years 9 days ago
2005
Springer
A set of points shown on the map usually represents special sites like cities or towns in a country. If the map in the interactive geographical information system (GIS) is browsed ...
193
click to vote
VRST
2004
ACM
16 years 6 days ago
2004
ACM
In this paper we present an interactive collision detection algorithm for complex and deformable objects. For two target models, our approach rapidly calculates their region of in...