691 search results - page 63 / 139 » Axiomatizing geometric constructions |
CA
2000
IEEE
14 years 4 days ago
2000
IEEE
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since it is not possible to construct in real...
DIAGRAMS
2000
Springer
14 years 1 days ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
ICCAD
1999
IEEE
14 years 14 hour ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
CAIP
1997
Springer
13 years 12 months ago
1997
Springer
A method for calibration of the optic center and the focal length of a pin-hole camera is suggested, where the camera parameters are constructed geometrically in the image plane. B...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...