The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
The radiation reflected by any observed surface is highly dependent on both sun illumination and satellite observation angles. These two angles are also described, respectively, a...
Ali Al Suwaidi, Adnan Al Rais, Hosni Ghedira, Maro...
We present our approach to defining similarity between software artifacts and discuss its potential exploitation in software reuse by analogy. We first establish properties of si...
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
We develop a method for estimating the flight critical parameters of pitch angle, roll angle and the three body rates using horizon detection and optical flow. We achieve this t...