Sciweavers

5275 search results - page 295 / 1055
» Computing by observing
Sort
View
140
Voted
KDD
2007
ACM
177views Data Mining» more  KDD 2007»
16 years 5 months ago
On-board analysis of uncalibrated data for a spacecraft at mars
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...
Benyang Tang, Kiri Wagstaff, Rebecca Castañ...
150
Voted
OOPSLA
2005
Springer
15 years 10 months ago
Adding trace matching with free variables to AspectJ
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...
LFP
1990
171views more  LFP 1990»
15 years 5 months ago
Operational and Axiomatic Semantics of PCF
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 ...
Brian T. Howard, John C. Mitchell
107
Voted
ICPR
2008
IEEE
16 years 5 months ago
Segmentation-free recognizer based on enhanced four plane feature for realistic Chinese handwriting
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 ...
Cheng-Lin Liu, Hu-Jie Huang, Tianwen Zhang, Tong-H...
SIBGRAPI
2007
IEEE
15 years 10 months ago
A Restoration and Extrapolation Iterative Method for Band-limited Fluorescence Microscopy Image
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, ...