4850 search results - page 287 / 970 » Proof and Computation in Geometry |
173
click to vote
IBERAMIA
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we describe MRSCL Geometry a collaborative educational activity that explores the use of robotic technology and wirelessly connected Pocket PCs as tools for teaching ...
175
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
We present an efficient image-based rendering algorithm that computes photo hulls of a scene photographed from multiple viewpoints. Our algorithm, Image-Based Photo Hulls (IBPH),...
205
click to vote
PAMI
2008
15 years 6 months ago
2008
Conventional photometric stereo recovers one normal direction per pixel of the input image. This fundamentally limits the scale of recovered geometry to the resolution of the input...
162
click to vote
CAGD
1998
15 years 6 months ago
1998
Laguerre geometry provides a simple approach to the design of rational curves and surfaces with rational offsets. These so-called PH curves and PN surfaces can be constructed from...
182
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...