Realize the operating conditions of a manufacturing plant are essential for providing corresponding actions responsively. This is because all processes are interrelated and a smal...
An integral part of FFT computation are the twiddle factors, which, in software implementations, are typically stored into RAM memory implying large memory footprint and power cons...
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
Industrial Sawyer motor technology has existed for nearly three decades, traditionally being operated as open-loop positioners. Such systems can attain micron level motion resolut...
Gregory A. Fries, Alfred A. Rizzi, Ralph L. Hollis
Abstract This paper provides details on the development of a tool to aid in 3D coral reef mapping designed to be operated by a single diver and later integrated into an autonomous ...
Andrew Hogue, Andrew German, James E. Zacher, Mich...