Analyzing data on-board a spacecraft as it is collected enables several advanced spacecraft capabilities, such as prioritizing observations to make the best use of limited bandwid...
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
Chris Allan, Pavel Avgustinov, Aske Simon Christen...
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Directional features are preferred in off-line Chinese character recognition due to their superior performance. This paper proposes an enhanced four plane feature (en-FPF) within ...
Optical microscopic images, especially with a nonconfocal microscope, are fundamentally limited because the optical transfer function (the Fourier transform of the point-spread fu...
Moacir P. Ponti-Junior, Nelson D. A. Mascarenhas, ...