Reactive Framework for Resource Aware Distributed Computing ⋆ (2008)
Rajesh Gupta, R. K. Shyamasundar, In Honour, Jean-louis Lassez
Abstract. Rapid strides in technology have lead to pervasive computing in a spectrum of applications such as crisis management systems, distributed critical systems, medical therapy systems, home...
Qualitative theorem proving in linear constraints (2004)
Chandru, Vijay, Lassez, Jean-Louis
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...
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...
Constraint (Logic) Programming: A Bibliography (1996)
Michael Jampel, Jean-louis Lassez, Vijay Saraswat, C. Ziegler, M. Surauer
ion for unstructured CSPs. In SARA'92: Proceedings of the Symposium on Abstraction, Reformulation, and Approximation, pages 126--133, 1992. http://www.cs.utexas.edu/users/schrag/SARA.ps. [733]...
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...
On Fourier's Algorithm for Linear Arithmetic (1992)
Jean-louis Lassez, Michael J. Maher
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. In other words, this algorithm determines whether or not the polyhedral set associated with the...
Completeness of the negation as failure rule (1983)
Joxan Jaffar, Jean-louis Lassez, John Lloyd
Let P be a Horn clause logic program and comp(p) be its completion in the sense of Clark. Clark gave a justification for the negation as failure rule by showing that if a ground atom A is in the...
Whole-genome comparative analysis of three phytopathogenic Xylella fastidiosa strains
Bhattacharyya, Anamitra, Stilwagen, Stephanie, Ivanova, Natalia, D'Souza, Mark, Bernal, Axel, Lykidis, Athanasios, ...
Xylella fastidiosa (Xf) causes wilt disease in plants and is responsible for major economic and crop losses globally. Owing to the public importance of this phytopathogen we embarked on a comparative...
Whole-genome comparative analysis of three phytopathogenic Xylella fastidiosa strains
Bhattacharyya, Anamitra, Stilwagen, Stephanie, Ivanova, Natalia, D'Souza, Mark, Bernal, Axel, Lykidis, Athanasios, ...
Xylella fastidiosa (Xf) causes wilt disease in plants and is responsible for major economic and crop losses globally. Owing to the public importance of this phytopathogen we embarked on a comparative...