988 search results - page 11 / 198 » Tarski's system of geometry |
COGSCI
2010
13 years 6 months ago
2010
For many centuries, philosophers and scientists have pondered the origins and nature of human intuitions about the properties of points, lines, and figures on the Euclidean plane,...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—This paper exploits the use of location information of wireless terminals to improve the performance of a beamforming system and support multiple access. Based on a system provi...
VRML
2005
ACM
14 years 1 months ago
2005
ACM
Web-based geometry transmission profits from a transmission system, which is both progressive and compressive. For this application, the wavelet transform has emerged as a suitab...
SCIA
2011
Springer
12 years 10 months ago
2011
Springer
We present a non-incremental approach to structure from motion. Our solution is based on robustly computing global rotations from relative geometries and feeding these into the kno...