1173 search results - page 9 / 235 » Program Derivation Using Analogy |
85
Voted
ACSC
2004
IEEE
15 years 3 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
14 years 11 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...
89
Voted
ISMB
1994
15 years 28 days 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
15 years 1 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...
105
click to vote
PADO
2001
Springer
15 years 4 months 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...