Publications

10 results for Jean-Louis Lassez

Signature based intrusion detection using latent semantic analysis
- - Jean-Louis Lassez
  - Ryan Rossi
  - et al.
- 2008
- IJCNN 2008
Separability of polyhedra for optimal filtering of spatial and constraint data
- - Alexander Brodsky
  - Catherine Lassez
  - et al.
- 1999
- Journal of Automated Reasoning
On Fourier's algorithm for linear arithmetic constraints
- - Jean-Louis Lassez
  - Michael J. Maher
- 1992
- Journal of Automated Reasoning
Practical issues on the projection of polyhedral sets
- - Tien Huynh
  - Catherine Lassez
  - et al.
- 1992
- Ann. Math. Artif. Intell.
A canonical form for generalized linear constraints
- - Jean-Louis Lassez
  - Ken McAloon
- 1992
- Journal of Symbolic Computation
A constraint sequent calculus
- - J.-L. Lassez
  - Ken McAloon
- 1990
- LICS 1990
Most specific logic programs
- - K. Marriott
  - L. Naish
  - et al.
- 1990
- Ann. Math. Artif. Intell.
Querying constraints
- - J.-L. Lassez
- 1990
- SIGMOD/PODS/ 1990
Constraint logic programming
- - Joxan Jaffar
  - Jean-Louis Lassez
- 1987
- POPL 1987
Explicit representation of terms defined by counter examples
- - J.-L. Lassez
  - K. Marriott
- 1987
- Journal of Automated Reasoning