2335 search results - page 42 / 467 » Functional Differentiation of Computer Programs |
ENTCS
2007
13 years 7 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
BMCBI
2006
13 years 7 months ago
2006
Background: Due to the large number of genes in a typical microarray dataset, feature selection looks set to play an important role in reducing noise and computational cost in gen...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...
SIGARCH
2002
13 years 7 months ago
2002
The most promising value predictors to date are the finite context method predictor and a recent improvement thereof, the differential finite context method predictor. Both predic...