4835 search results - page 487 / 967 » Refactoring Functional Programs |
164
click to vote
EUROPAR
2003
Springer
16 years 24 days ago
2003
Springer
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
225
click to vote
HAIS
2009
Springer
16 years 6 days ago
2009
Springer
Differential Evolution (DE) is a novel evolutionary approach capable of handling non-differentiable, non-linear and multi-modal objective functions. DE has been consistently ranked...
204
click to vote
IWANN
2001
Springer
16 years 1 days ago
2001
Springer
This paper proposes the general paradigm to build Q'tron neural networks (NNs) for visual cryptography. Given a visual encryption scheme, usually described using an access st...
223
click to vote
LPAR
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...
166
click to vote
CIE
2006
Springer
15 years 11 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...