Open Access. Powered by Scholars. Published by Universities.®
- Keyword
Articles 1 - 4 of 4
Full-Text Articles in Computer Engineering
Safe Stratified Datalog With Integer Order Programs, Peter Revesz
Safe Stratified Datalog With Integer Order Programs, Peter Revesz
CSE Conference and Workshop Papers
Guaranteeing termination of programs on all valid inputs is important for database applications. Termination cannot be guaranteed in Stratified Datalog with integer (gap)-order programs on generalized databases because they express any Turing-computable function. This paper introduces a restriction of those programs that can express only computable queries. The restricted language has a high expressive power and a non-elementary data complexity.
Novel Kalman Filtering Method For The Suppression Of Gyroscope Noise Effects In Pointing And Tracking Systems, Marcelo C. Aigrain
Novel Kalman Filtering Method For The Suppression Of Gyroscope Noise Effects In Pointing And Tracking Systems, Marcelo C. Aigrain
Department of Electrical and Computer Engineering: Faculty Publications
A primary cause of degraded performance in pointing and tracking systems is the jitter in the line of sight. This jitter is caused by the residual angular motion of the stabilized platform within the system. A major contributor to this residual motion is the gyroscope noise. Thus, to reduce angular jitter, lower-noise gyroscopes are selected, generally at a premium cost. Another approach is to enhance the accuracy of the gyroscopes electronically (by suppressing measurement noise) before their outputs are fed into the stabilized platform control system. Optimal filtering techniques can be used for this purpose. The goal is to estimate …
Apparatus For Forming Fine Particles, Dennis R. Alexander
Apparatus For Forming Fine Particles, Dennis R. Alexander
Department of Electrical and Computer Engineering: Faculty Publications
To alter feedstock material, the material is exposed to laser radiation applied at a selected angle of incidence, intensity and wavelength related to the refractive index of the feedstock material. Fine uniform particles may be formed through vapor explosion and/or plasma formation and used by this method to coat surfaces, such as with paint or adhesive or to supply uniform small particles to a heat engine. Moreover, moving materials such as a column of liquid may be subjected to high internal pressure and temperature for creating physical and chemical changes.
Losslees Compression Of Rgb Color Images, Nasir D. Memon, Khalid Sayood
Losslees Compression Of Rgb Color Images, Nasir D. Memon, Khalid Sayood
Department of Electrical and Computer Engineering: Faculty Publications
Although much work has been done toward developing lossless algorithms for compressing image data, most techniques reported have been for two-tone or gray-scale images. It is generally accepted that a color image can be easily encoded by using a gray-scale compression technique on each of the three accounts the substantial correlations that are present between color planes. Although several lossy compression schemes that exploit such correlations have been reported in the literature, we are not aware of any such techniques for lossless compression. Because of the difference in goals, the best way of exploiting redundancies for lossy and lossless compression …