451 search results - page 16 / 91 » Relationless Completeness and Separations |
CSL
2007
Springer
15 years 3 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
PG
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we introduce algorithms to voxelize polygonal meshes in common sampling lattices. In the case of Cartesian lattices, we complete the separability and minimality proo...
ASPDAC
1999
ACM
15 years 1 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes an efficient approach to pose invariant object recognition employing pictorial recognition of image patches. A complete affine invariance is achieved by a rep...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a new 3D scanning method using modulated phase-shifting. Optical scanning of complex objects or scenes with significant global light transport, such as subsurface scatt...