4850 search results - page 70 / 970 » Proof and Computation in Geometry |
182
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper examines the problem of detecting changes in a 3-d scene from a sequence of images, taken by cameras with arbitrary but known pose. No prior knowledge of the state of n...
152
click to vote
ADG
2004
Springer
15 years 11 months ago
2004
Springer
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and co...
147
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
184
click to vote
WINE
2009
Springer
16 years 27 days ago
2009
Springer
We study the geometrical shape of the partitions of the input space created by the allocation rule of a truthful mechanism for multi-unit auctions with multidimensional types and ...
165
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...