988 search results - page 100 / 198 » Tarski's system of geometry |
FCSC
2007
13 years 7 months ago
2007
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...
CG
2008
Springer
13 years 7 months ago
2008
Springer
We report on a multiresolution rendering system driving light field displays based on a specially arranged array of projectors and a holographic screen. The system gives multiple ...
CVPR
2003
IEEE
14 years 1 months ago
2003
IEEE
A framework for analyzing distortions in non-single viewpoint imaging systems is presented. Such systems possess loci of viewpoints called caustics. In general, perspective (or un...
SIGGRAPH
1996
ACM
14 years 21 hour ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper introduces two kinds of free viewpoint observation systems for sporting events captured with uncalibrated multiple cameras in a stadium. In the first system (Viewpoint...