Sciweavers

202 search results - page 28 / 41
» Algebra and Geometry
Sort
View
DAGM
2003
Springer
15 years 5 months ago
Pose Estimation of Free-Form Surface Models
In this article we discuss the 2D-3D pose estimation problem of 3D free-form surface models. In our scenario we observe free-form surface models in an image of a calibrated camera....
Bodo Rosenhahn, Christian Perwass, Gerald Sommer
ECCV
2000
Springer
16 years 1 months ago
Plane+Parallax, Tensors and Factorization
Abstract. We study the special form that the general multi-image tensor formalism takes under the plane + parallax decomposition, including matching tensors and constraints, closur...
Bill Triggs
FCSC
2007
133views more  FCSC 2007»
14 years 11 months ago
Mathematics mechanization and applications after thirty years
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
Wenjun Wu, Xiaoshan Gao
JMIV
2000
125views more  JMIV 2000»
14 years 11 months ago
Recognizing 3D Objects Using Tactile Sensing and Curve Invariants
A general paradigm for recognizing 3D objects is offered, and applied to some geometric primitives (spheres, cylinders, cones, and tori). The assumption is that a curve on the surf...
Daniel Keren, Ehud Rivlin, Ilan Shimshoni, Isaac W...
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 4 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh