988 search results - page 65 / 198 » Tarski's system of geometry |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— We present a family of metrics for power spectra based on the Monge-Kantorivic transportation distances. These metrics are constructed so that distances reduce with additive an...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We address general filtering problems on the Euclidean group SE(3). We first generalize, to stochastic nonlinear systems evolving on SE(3), the particle filter of Li...
SI3D
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents user interface technology for mobile outdoor augmented reality systems, and a set of new techniques we have named construction at a distance for the capture an...
COMPGEOM
2010
ACM
14 years 2 months ago
2010
ACM
We introduce a novel and general approach for digitalization of line segments in the plane that satisfies a set of axioms naturally arising from Euclidean axioms. In particular, ...
VR
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a unified user interface technology, using 3D interaction techniques, constructive solid geometry, and a glove based menuing system, known as TinmithHand, to s...