4850 search results - page 265 / 970 » Proof and Computation in Geometry |
171
Voted
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
This paper looks at axioms for convexity, and shows how they can be applied to discrete spaces. Two structures for a discrete geometry are considered: oriented matroids, and cell c...
166
click to vote
VISUALIZATION
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe an implementation of a virtual environment for visualizing the geometry of curved spacetime by the display of interactive geodesics. This technique displays the paths ...
165
click to vote
GRAPHICSINTERFACE
2008
15 years 8 months ago
2008
This paper describes a new algorithm for geometric displacement mapping. Its key idea is that all occluded solutions for an eye ray lie in two-dimensional manifolds perpendicular ...
182
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a method to compute scale invariant features in omnidirectional images. We present a formulation based on Riemannian geometry for the definition of differential operato...
168
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...