Qualitative Theorem Proving in Linear Constraints (2000)
Vijay Chandru, Catherine Lassez, Jean-louis Lassez
We know, from the classical work of Tarski on real closed fields, that elimination is, in principle, a fundamental engine for mechanized deduction. But, in practice, the high complexity of...
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data (1995)
Alexander Brodsky, Catherine Lassez, Jean-louis Lassez, Michael J. Maher
The filtering method considered in this paper is based on approximation of a spatial object in d-dimensional space by the minimal convex polyhedron that encloses the object and whose facets are...
Separability of Polyhedra and a New Approach to Spatial Storage (Extended Abstract)
Alexander Brodsky, Catherine Lassez, Tree R
) Alexander Brodsky Catherine Lassez I.B.M. Thomas J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598 Efficient storage and access methods for large amounts of spatial objects are key...