1173 search results - page 9 / 235 » Program Derivation Using Analogy |
ACSC
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
CG
2007
Springer
13 years 7 months ago
2007
Springer
Identifying the historical data that is the best analog with a pattern from which a forecast is sought allows time series data to be extrapolated. That technique of best analogs i...
ISMB
1994
13 years 9 months ago
1994
The recently-developedgenetic programming paradigmisused to evoIve a computer program to classify a given protein segment as being a transmembrane domainor non-uansmembranearea of...
NIPS
2007
13 years 9 months ago
2007
We describe an analog-VLSI neural network for face recognition based on subspace methods. The system uses a dimensionality-reduction network whose coefficients can be either progr...
PADO
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...