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
13 years 12 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
13 years 7 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
13 years 9 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
13 years 7 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...