57 search results - page 2 / 12 » On the Construction of Multiple-Valued Decision Diagrams |
ISMVL
2003
IEEE
13 years 10 months ago
2003
IEEE
Discrete functions are now commonly represented by binary (BDD) and multiple-valued (MDD) decision diagrams. Sifting is an effective heuristic technique which applies adjacent var...
ISMVL
1999
IEEE
13 years 9 months ago
1999
IEEE
ISMVL
1992
IEEE
13 years 9 months ago
1992
IEEE
NIPS
2000
13 years 6 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...
VOSS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...