2335 search results - page 84 / 467 » Functional Differentiation of Computer Programs |
102
Voted
CIE
2006
Springer
15 years 5 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...
118
click to vote
GECCO
2008
Springer
15 years 3 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 ...
137
click to vote
ICASSP
2011
IEEE
14 years 5 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...
99
Voted
RECOMB
2005
Springer
16 years 2 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...
120
click to vote
LPAR
1999
Springer
15 years 6 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...