4743 search results - page 469 / 949 » Introduction to Functional Programming |
177
click to vote
IWANN
2001
Springer
15 years 11 months 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...
197
click to vote
LPAR
1999
Springer
15 years 11 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...
150
click to vote
CIE
2006
Springer
15 years 10 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...
163
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
133
click to vote
NIPS
2004
15 years 8 months ago
2004
We introduce a new algorithm based on linear programming that approximates the differential value function of an average-cost Markov decision process via a linear combination of p...