2335 search results - page 84 / 467 » Functional Differentiation of Computer Programs |
CIE
2006
Springer
14 years 1 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
Students are often asked to submit electronic copies of their program code as part of assessment in computer science courses. To counter code plagiarism, educational institutions ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In the independent component analysis, polynomial functions of higher order statistics are often used as cost functions. However, such cost functions usually have many local minim...
RECOMB
2005
Springer
14 years 10 months ago
2005
Springer
A considerable fraction of yeast gene promoters are bound by multiple transcription factors. To study the combinatorial interactions of multiple transcription factors is thus impor...
LPAR
1999
Springer
14 years 2 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...