988 search results - page 25 / 198 » Tarski's system of geometry |
ICMS
2010
13 years 6 months ago
2010
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
ITS
2010
Springer
13 years 5 months ago
2010
Springer
Mily's World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical repre...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
Using an imaging system in which the image plane can be tilted with respect to the optical axis of the lens, the image of a large-scale scene that appears to be a miniature to hum...
ECCV
1994
Springer
14 years 9 months ago
1994
Springer
We show how a special decomposition of a set of two or three general projection matrices, called canonic enables us to build geometric descriptions for a system of cameras which a...
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
2010
Eurographics
Interpolating vertex positions among triangle meshes with identical vertex-edge graphs is a fundamental part of many geometric modelling systems. Linear vertex interpolation is ro...