196 search results - page 1 / 40 » Towards a Typed Geometry of Interaction |
CSL
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
CGA
2000
13 years 4 months ago
2000
IWCIA
2004
Springer
13 years 10 months ago
2004
Springer
We consider selected geometric properties of 2D or 3D sets, given in form of binary digital pictures, and discuss their estimation. The properties examined are perimeter and area i...
SMI
2006
IEEE
13 years 10 months ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
LAWEB
2009
IEEE
13 years 11 months ago
2009
IEEE