5863 search results - page 144 / 1173 » Calculating Functional Programs |
114
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
117
Voted
WSC
2001
15 years 4 months ago
2001
Various stochastic programmingproblemscan be formulated as problems of optimization of an expected value function. Quite often the corresponding expectation function cannot be com...
108
Voted
SIAMJO
2010
14 years 9 months ago
2010
Abstract. We investigate integer programs containing monomial constraints of the type Q iI xi i = b. Due to the number-theoretic nature of these constraints, standard methods based...
88
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opt...
100
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...