112 search results - page 20 / 23 » Compact explosion diagrams |
109
click to vote
AAAI
2008
15 years 4 months ago
2008
In distributed constraint optimization problems, dynamic programming methods have been recently proposed (e.g. DPOP). In dynamic programming many valuations are grouped together i...
111
click to vote
AAAI
2010
15 years 3 months ago
2010
Relational Markov Decision Processes (MDP) are a useraction for stochastic planning problems since one can develop abstract solutions for them that are independent of domain size ...
127
click to vote
ATAL
2010
Springer
14 years 8 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
145
Voted
ISVC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. One challenge associated with the visualization of time-dependent data is to develop graphical representations that are effective for exploring multiple time-varying qua...
101
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...