Querying constraints
- J.-L. Lassez
- 1990
- SIGMOD/PODS/ 1990
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
10 results for Jean-Louis Lassez
Constraint logic programming
- Joxan Jaffar
- Jean-Louis Lassez
- 1987
- POPL 1987
Signature based intrusion detection using latent semantic analysis
- Jean-Louis Lassez
- Ryan Rossi
- et al.
- 2008
- IJCNN 2008
A constraint sequent calculus
- J.-L. Lassez
- Ken McAloon
- 1990
- LICS 1990
Separability of polyhedra for optimal filtering of spatial and constraint data
- Alexander Brodsky
- Catherine Lassez
- et al.
- 1999
- Journal of Automated Reasoning
Practical issues on the projection of polyhedral sets
- Tien Huynh
- Catherine Lassez
- et al.
- 1992
- Ann. Math. Artif. Intell.
On Fourier's algorithm for linear arithmetic constraints
- Jean-Louis Lassez
- Michael J. Maher
- 1992
- Journal of Automated Reasoning
A canonical form for generalized linear constraints
- Jean-Louis Lassez
- Ken McAloon
- 1992
- Journal of Symbolic Computation
Most specific logic programs
- K. Marriott
- L. Naish
- et al.
- 1990
- Ann. Math. Artif. Intell.
Explicit representation of terms defined by counter examples
- J.-L. Lassez
- K. Marriott
- 1987
- Journal of Automated Reasoning