1916 search results - page 171 / 384 » Reasoning with class algebra |
215
click to vote
FPCA
1995
15 years 8 months ago
1995
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
144
click to vote
FPCA
1995
15 years 8 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...
135
click to vote
DLT
2008
15 years 5 months ago
2008
The classes of languages which are boolean combinations of languages of the form A a1A a2A . . . A a A , where a1, . . . , a A, k , for a fixed k 0, form a natural hierarchy wit...
121
click to vote
SIMVIS
2004
15 years 5 months ago
2004
This paper illustrates the current state of development of an algorithm for the steady state solution of continuous-time Markov chains. The so-called multi-level algorithm utilize...
126
click to vote
NIPS
2000
15 years 5 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...