System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
We use the AdaBoost algorithm to classify 3D aerial lidar scattered height data into four categories: road, grass, buildings, and trees. To do so we use five features: height, hei...
Suresh K. Lodha, Darren N. Fitzpatrick, David P. H...
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciļ¬...
Ear detection from a proļ¬le face image is an important step in many applications including biometric recognition. But accurate and rapid detection of the ear for real-time appli...
Syed M. S. Islam, Mohammed Bennamoun, Rowan Davies
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...