330 search results - page 11 / 66 » Intersection and Union Types |
Source Code
This is an open source library that provides an easy access to the topological properties of a 3D mesh surface. In addition, it provided several useful utility functions such as cu...
SMI
1999
IEEE
15 years 1 months ago
1999
IEEE
We present efficient and robust algorithms for intersecting a freeform surface with a ringed surface or a ruled surface. A ringed surface is given as a one-parameter family of cir...
DEDS
2002
14 years 9 months ago
2002
Abstract. We consider a generalized form of the conventional decentralized control architecture for discreteevent systems where the control actions of a set of supervisors can be `...
CATS
2008
14 years 11 months ago
2008
In the system of intersection types, without , the problem as to whether an arbitrary type has an inhabitant, has been shown to be undecidable by Urzyczyn in [10]. For one subsys...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...