4850 search results - page 104 / 970 » Proof and Computation in Geometry |
157
click to vote
IMR
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...
192
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
166
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Multilinear algebra is a powerful theoretical tool for visual
geometry, but widespread usage of traditional typographical
notation often hides its conceptual elegance and
simpli...
169
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a generalization of the geometry coder by Touma and Gotsman [34] to polygon meshes. We let the polygon information dictate where to apply the parallelogra...
202
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
We present a human-centric paradigm for scene understanding. Our approach goes beyond estimating 3D scene geometry and predicts the “workspace” of a human which is represented...