69 search results - page 9 / 14 » On categorical models of classical logic and the Geometry of... |
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
GEOINFORMATICA
1998
13 years 7 months ago
1998
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
VR
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a simple and efficient approach to turn laser-scanned human geometry into a realistically moving virtual avatar. Instead of relying on the classical skeleton-based ani...
CGF
2004
13 years 7 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In real object manipulation, the deformation of the fingerpads along the contact surfaces provides local information about the geometry of the object the subject is manipulati...