69 search results - page 4 / 14 » First Order Decision Diagrams for Relational MDPs |
WCE
2007
13 years 6 months ago
2007
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
ISMVL
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper describes new metrics for the data structure referred to as quantum multiple-valued decision diagrams (QMDD) which are used to represent the matrices describing reversi...
ISMVL
2003
IEEE
13 years 10 months ago
2003
IEEE
We consider the path length in decision diagrams for multiple-valued functions. This is an important measure of a decision diagram, since this models the time needed to evaluate t...
FMCAD
2009
Springer
13 years 12 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...