140
click to vote
APLAS
2006
ACM
16 years 3 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
172
click to vote
GMP
2008
IEEE
16 years 18 days ago
2008
IEEE
The directional contact range of two convex polyhedra is the range of positions that one of the polyhedron may locate along a given straight line so that the two polyhedra are in c...